Bittner, Benjamin

3 publications

IJCAI 2016 Automated Synthesis of Timed Failure Propagation Graphs Benjamin Bittner, Marco Bozzano, Alessandro Cimatti

AAAI 2016 Automated Verification and Tightening of Failure Propagation Models Benjamin Bittner, Marco Bozzano, Alessandro Cimatti, Gianni Zampedri

AAAI 2012 Symbolic Synthesis of Observability Requirements for Diagnosability Benjamin Bittner, Marco Bozzano, Alessandro Cimatti, Xavier Olive