SCC-Based Improved Reachability Analysis for Markov Decision Processes.
Lin GuiJun SunSongzheng SongYang LiuJin Song DongPublished in: ICFEM (2014)
Keyphrases
- reachability analysis
- markov decision processes
- finite state
- model checking
- optimal policy
- reinforcement learning
- state space
- transition matrices
- dynamic programming
- planning under uncertainty
- decision processes
- average cost
- markov decision process
- policy iteration
- incremental algorithms
- decision theoretic planning
- partially observable
- model based reinforcement learning
- reward function
- action space
- reinforcement learning algorithms
- infinite horizon
- action sets
- markov chain
- linear programming