Automated Verification and Tightening of Failure Propagation Models.

Benjamin Bittner, Marco Bozzano, Alessandro Cimatti, Gianni Zampedri

Browse the full AAAI paper archive.