A Complete Quantitative Deduction System for the Bisimilarity Distance on Markov Chains.
Giorgio BacciGiovanni BacciKim G. LarsenRadu MardarePublished in: Log. Methods Comput. Sci. (2018)
Keyphrases
- markov chain
- steady state
- markov model
- finite state
- state space
- transition probabilities
- random walk
- monte carlo method
- markov processes
- monte carlo
- probabilistic automata
- stationary distribution
- markov process
- monte carlo simulation
- stochastic process
- distance measure
- random numbers
- transition matrix
- inference rules
- markov models
- sample path
- markov decision processes
- model checking
- mahalanobis distance
- dynamic programming
- search algorithm