
Automated Verification and Tightening of Failure Propagation Models
Author(s) -
Benjamin Bittner,
Marco Bozzano,
Alessandro Cimatti,
Gianni Zampedri
Publication year - 2016
Publication title -
proceedings of the ... aaai conference on artificial intelligence
Language(s) - English
Resource type - Journals
eISSN - 2374-3468
pISSN - 2159-5399
DOI - 10.1609/aaai.v30i1.10094
Subject(s) - spurious relationship , computer science , formalism (music) , completeness (order theory) , reliability engineering , model checking , key (lock) , process (computing) , theoretical computer science , algorithm , computer engineering , data mining , distributed computing , programming language , machine learning , mathematics , engineering , art , musical , mathematical analysis , computer security , visual arts