A Perfect Model for Bounded Verification.

Javier Esparza Pierre Ganty Rupak Majumdar

Published in: LICS (2012)

Keyphrases

experimental data
closed form
mathematical model
neural network
database
genetic algorithm
high level
prior knowledge
statistical model
probabilistic model
bayesian framework
theoretical analysis
probability distribution
mobile robot
cost function
similarity measure
machine learning