Compositional Verification and Optimization of Interactive Markov Chains.
Holger HermannsJan KrcálJan KretínskýPublished in: CONCUR (2013)
Keyphrases
- markov chain
- steady state
- monte carlo
- stochastic process
- markov processes
- finite state
- transition probabilities
- monte carlo method
- markov model
- stationary distribution
- state space
- probabilistic automata
- markov process
- monte carlo simulation
- random walk
- transition matrix
- model checking
- algo rithm
- assemble to order systems
- confidence intervals
- random numbers
- machine learning
- queueing theory