Deciding Probabilistic Bisimilarity Distance One for Labelled Markov Chains.
Qiyi TangFranck van BreugelPublished in: CAV (1) (2018)
Keyphrases
- markov chain
- steady state
- transition probabilities
- markov process
- finite state
- stochastic process
- markov processes
- state space
- monte carlo
- monte carlo simulation
- markov model
- random walk
- probabilistic automata
- transition matrix
- monte carlo method
- stationary distribution
- probabilistic model
- bayesian networks
- euclidean distance
- distance measure
- kullback leibler divergence
- information theoretic
- learning algorithm