Counterexample-Guided Precondition Inference.

Mohamed Nassim Seghir Daniel Kroening

Published in: ESOP (2013)

Keyphrases

model checking
probabilistic inference
bayesian networks
decision theoretic
inference process
grammatical inference
inference mechanism
database
objective function
relational databases
hidden markov models
mobile robot
belief networks
dynamic bayesian networks