Real-reward testing for probabilistic processes.

Yuxin Deng Rob J. van Glabbeek Matthew Hennessy Carroll Morgan

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

Keyphrases

real life
probabilistic model
generative model
real time
neural network
information retrieval
website
reinforcement learning
context sensitive
uncertain data
database
data sets
knowledge base
process model