Bozzano, Marco

5 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 2015 SMT-Based Validation of Timed Failure Propagation Graphs Marco Bozzano, Alessandro Cimatti, Marco Gario, Andrea Micheli

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

IJCAI 2011 A Comprehensive Approach to On-Board Autonomy Verification and Validation Marco Bozzano, Alessandro Cimatti, Marco Roveri, Andrei Tchaltsev