Falsifying Safety Properties Through Games on Over-approximating Models.

Nathaniel Charlton Michael Huth

Published in: Electron. Notes Theor. Comput. Sci. (2008)

Keyphrases

database
probabilistic model
model selection
parameter estimation
experimental data
decision trees
cooperative
graphical models
complex systems
process model
neural network model
computational models
mathematical models
imperfect information