Three-Valued Abstractions of Markov Chains: Completeness for a Sizeable Fragment of PCTL.
Michael HuthNir PitermanDaniel WagnerPublished in: FCT (2009)
Keyphrases
- markov chain
- steady state
- stationary distribution
- finite state
- monte carlo
- transition probabilities
- markov process
- random walk
- state space
- monte carlo method
- markov model
- stochastic process
- markov processes
- monte carlo simulation
- probabilistic automata
- higher order
- confidence intervals
- reinforcement learning
- probability distribution