Characterising Testing Preorders for Finite Probabilistic Processes.

Yuxin Deng Rob J. van Glabbeek Matthew Hennessy Carroll Morgan Chenyi Zhang

Published in: LICS (2007)

Keyphrases

probabilistic model
uncertain data
computer vision
generative model
probabilistic interpretation
databases
machine learning
genetic algorithm
bayesian networks
hidden markov models
semi supervised
test set
test cases
finite number
probabilistic databases
probabilistic approaches