Symbolic algorithms for qualitative analysis of Markov decision processes with Büchi objectives.
Krishnendu ChatterjeeMonika HenzingerManas JoglekarNisarg ShahPublished in: Formal Methods Syst. Des. (2013)
Keyphrases
- markov decision processes
- qualitative analysis
- policy iteration
- quantitative analysis
- factored mdps
- optimal policy
- reinforcement learning
- dynamic programming
- learning algorithm
- reachability analysis
- finite state
- state space
- decision theoretic planning
- stochastic shortest path
- partially observable
- reinforcement learning algorithms
- infinite horizon
- content analysis
- action sets
- convergence rate
- transition matrices
- video content