Stochastic Relations: Congruences, Bisimulations and the Hennessy--Milner Theorem.

Ernst-Erich Doberkat

Published in: SIAM J. Comput. (2005)

Keyphrases

monte carlo
databases
neural network
stochastic model
stochastic models
database
real time
decision making
bayesian networks
search algorithm
artificial neural networks
stochastic programming
stochastic approximation