ML Anthology

Zampedri, Gianni

1 publications

AAAI 2016 Automated Verification and Tightening of Failure Propagation Models Benjamin Bittner, Marco Bozzano, Alessandro Cimatti, Gianni Zampedri