Partial Order Reduction for Markov Decision Processes: A Survey.
Marcus GrößerChristel BaierPublished in: FMCO (2005)
Keyphrases
- markov decision processes
- partial order reduction
- model checking
- petri net
- reachability analysis
- finite state
- state space
- reinforcement learning
- optimal policy
- transition matrices
- decision theoretic planning
- dynamic programming
- policy iteration
- reinforcement learning algorithms
- partially observable
- average cost
- infinite horizon
- finite horizon
- action sets
- planning under uncertainty
- action space
- model based reinforcement learning
- markov decision process
- reward function
- factored mdps
- average reward
- risk sensitive
- discounted reward
- partially observable markov decision processes
- semi markov decision processes
- markov chain
- search space