Generating counterexamples for quantitative safety specifications in probabilistic B.

Ukachukwu Ndukwu

Published in: J. Log. Algebraic Methods Program. (2012)

Keyphrases

probabilistic model
bayesian networks
qualitative and quantitative
artificial intelligence
data driven
generative model
probabilistic logic
machine learning
website
high level
information theoretic
conditional probabilities
posterior probability
probabilistic reasoning