Remarks on Testing Probabilistic Processes.

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

Published in: Electron. Notes Theor. Comput. Sci. (2007)

Keyphrases

bayesian networks
probabilistic model
generative model
uncertain data
real time
website
multiscale
context sensitive
mobile robot
data driven
test cases
process model
probabilistic logic
stochastic processes
belief networks
relational databases
data streams
computer vision
machine learning
neural network