Bisimulations for non-deterministic labelled Markov processes.

Pedro R. D'Argenio Pedro Sánchez Terraf Nicolás Wolovick

Published in: Math. Struct. Comput. Sci. (2012)

Keyphrases

markov processes
markov process
markov chain
stochastic processes
random fields
continuous time bayesian networks
continuous time markov chains
non stationary
dynamic programming
search algorithm