Automated Verification and Tightening of Failure Propagation Models.

Benjamin Bittner Marco Bozzano Alessandro Cimatti Gianni Zampedri

Published in: AAAI (2016)

Keyphrases

automated verification
artificial intelligence
parameter estimation
genetic algorithm
complex systems
parametric models
artificial neural networks
probabilistic model
model checking
statistical models
statistical methods
classification models