Approximate Verification of the Symbolic Dynamics of Markov Chains.
Manindra AgrawalS. AkshayBlaise GenestP. S. ThiagarajanPublished in: LICS (2012)
Keyphrases
- markov chain
- steady state
- finite state
- markov process
- transition probabilities
- monte carlo
- monte carlo method
- random walk
- transition matrix
- state space
- stationary distribution
- probabilistic automata
- stochastic process
- monte carlo simulation
- markov processes
- model checking
- sample path
- markov model
- confidence intervals
- markov chain monte carlo
- search algorithm
- mutual information
- least squares
- probability distribution
- query language