Hintikka Games for PCTL on Labeled Markov Chains.
Harald FecherMichael HuthNir PitermanDaniel WagnerPublished in: QEST (2008)
Keyphrases
- markov chain
- steady state
- transition probabilities
- finite state
- monte carlo
- monte carlo method
- markov model
- stochastic process
- markov process
- state space
- random walk
- monte carlo simulation
- stationary distribution
- markov processes
- probabilistic automata
- em algorithm
- transition matrix
- queueing theory
- assemble to order systems