A Complete Quantitative Deduction System for the Bisimilarity Distance on Markov Chains.
Giorgio BacciGiovanni BacciKim G. LarsenRadu MardarePublished in: CoRR (2017)
Keyphrases
- markov chain
- steady state
- markov process
- finite state
- random walk
- transition probabilities
- monte carlo
- probabilistic automata
- monte carlo method
- markov processes
- state space
- monte carlo simulation
- stochastic process
- stationary distribution
- markov model
- distance measure
- transition matrix
- mutual information
- markov models
- distance metric
- euclidean distance
- relative entropy
- dynamic programming