Benjamin Bittner

Fondazione Bruno Kessler ,; University of Trento Trento , Italy -

1 paper in the IJCAI proceedings

IJCAI 2016

Automated Synthesis of Timed Failure Propagation Graphs

with Marco Bozzano, Alessandro Cimatti

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings