Bisimulation on Markov Processes over Arbitrary Measurable Spaces.

Giorgio Bacci Giovanni Bacci Kim Guldstrand Larsen Radu Mardare

Published in: Horizons of the Mind (2014)

Keyphrases

markov processes
markov process
markov chain
stochastic processes
non stationary
random fields
continuous time bayesian networks
continuous time markov chains
equivalence relation
image segmentation
probabilistic model
random walk