Bisimulation for Labelled Markov Processes.

Richard Blute Josée Desharnais Abbas Edalat Prakash Panangaden

Published in: LICS (1997)

Keyphrases

markov processes
markov chain
markov process
stochastic processes
continuous time bayesian networks
continuous time markov chains
non stationary
random fields
white noise
stochastic process
learning algorithm
image processing
reinforcement learning
search algorithm
random variables
markov model