A Progress Measure for Explicit-State Probabilistic Model-Checkers.

Xin Zhang Franck van Breugel

Published in: ICALP (2) (2011)

Keyphrases

probabilistic model
bayesian networks
state space
language model
databases
machine learning
image segmentation
digital libraries
pairwise
artificial neural networks
information theory