Compositional Verification and Optimization of Interactive Markov Chains.
Holger HermannsJan KrcálJan KretínskýPublished in: CoRR (2013)
Keyphrases
- markov chain
- steady state
- finite state
- transition probabilities
- markov model
- stationary distribution
- random walk
- markov processes
- monte carlo
- probabilistic automata
- markov process
- stochastic process
- monte carlo method
- state space
- monte carlo simulation
- transition matrix
- sample path
- queueing theory
- markov models
- model checking
- mutual information