Automatic Verification of Probabilistic Free Choice.

Lenore D. Zuck Amir Pnueli Yonit Kesten

Published in: VMCAI (2002)

Keyphrases

probabilistic model
bayesian networks
uncertain data
probabilistic logic
generative model
image segmentation
hidden markov models
probabilistic databases