Marco Bozzano

2 papers in the IJCAI proceedings

IJCAI 2016

Automated Synthesis of Timed Failure Propagation Graphs

with Benjamin Bittner, Alessandro Cimatti

Details PDF

IJCAI 2011

A Comprehensive Approach to On-Board Autonomy Verification and Validation

with Alessandro Cimatti, Marco Roveri, Andrei Tchaltsev

doi:10.5591/978-1-57735-516-8/IJCAI11-400

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings