Benjamin Bittner

1 papers · 2016–2016 · 1 conference · across top CS/AI conferences

Conferences

IJCAI (1)

Top co-authors

Alessandro Cimatti (1) Marco Bozzano (1)

Papers

Automated Synthesis of Timed Failure Propagation Graphs IJCAI 2016