Bisimulation for Labelled Markov Processes.

Josée Desharnais Abbas Edalat Prakash Panangaden

Published in: Inf. Comput. (2002)

Keyphrases

markov processes
markov chain
markov process
stochastic processes
white noise
random fields
continuous time bayesian networks
continuous time markov chains
probability distribution
non stationary
steady state
stochastic process
computer vision
random walk
visual tracking
finite state