Enhanced Probabilistic Verification with 3Spin and 3Murphi.

Peter C. Dillinger Panagiotis Manolios

Published in: SPIN (2005)

Keyphrases

probabilistic model
data driven
model checking
uncertain data
generative model
probabilistic reasoning
bayesian networks
signature verification
artificial intelligence
prior knowledge
semi supervised
maximum entropy
person identification