Probabilistic CEGAR.

Holger Hermanns Björn Wachter Lijun Zhang

Published in: CAV (2008)

Keyphrases

bayesian networks
data sets
probabilistic model
data driven
generative model
uncertain data
probabilistic logic
real time
decision trees
probabilistic approaches
databases
learning algorithm
social networks
image segmentation
information theoretic