Distribution-Based Bisimulation for Labelled Markov Processes.
Pengfei YangDavid N. JansenLijun ZhangPublished in: FORMATS (2017)
Keyphrases
- markov processes
- markov chain
- markov process
- stochastic processes
- continuous time markov chains
- continuous time bayesian networks
- stationary distribution
- random variables
- probability distribution
- non stationary
- random fields
- transition probabilities
- joint distribution
- finite state
- stochastic process
- computer vision
- gaussian distribution
- search space