Automated Synthesis of Timed Failure Propagation Graphs.

Benjamin Bittner, Marco Bozzano, Alessandro Cimatti

Browse the full IJCAI paper archive.