Verified Algorithms for Solving Markov Decision Processes.
Maximilian SchäffelerMohammad AbdulazizPublished in: Arch. Formal Proofs (2021)
Keyphrases
- markov decision processes
- policy iteration
- transition matrices
- factored mdps
- stochastic shortest path
- finite state
- semi markov decision processes
- reinforcement learning
- state space
- reachability analysis
- decision processes
- optimal policy
- policy iteration algorithm
- decision theoretic planning
- markov decision process
- policy evaluation
- machine learning
- partially observable markov decision processes
- reinforcement learning algorithms
- dynamic programming
- computational complexity
- learning algorithm