Testing preorders for probabilistic processes can be characterized by simulations.

Bengt Jonsson Wang Yi

Published in: Theor. Comput. Sci. (2002)

Keyphrases

probabilistic model
bayesian networks
generative model
posterior probability
uncertain data
test cases
numerical simulations
simulation model
simulation models
probabilistic logic
computer vision
three dimensional
expert systems
conditional probabilities
context sensitive