ProbMela and verification of Markov decision processes.
Christel BaierFrank CiesinskiMarcus GrößerPublished in: SIGMETRICS Perform. Evaluation Rev. (2005)
Keyphrases
- markov decision processes
- state space
- finite state
- optimal policy
- reinforcement learning
- dynamic programming
- policy iteration
- model checking
- transition matrices
- reachability analysis
- finite horizon
- action space
- decision theoretic planning
- planning under uncertainty
- reinforcement learning algorithms
- markov decision process
- average cost
- decision processes
- factored mdps
- state and action spaces
- model based reinforcement learning
- average reward
- risk sensitive
- action sets
- partially observable
- stationary policies