Smart Sampling for Lightweight Verification of Markov Decision Processes.
Pedro R. D'ArgenioAxel LegaySean SedwardsLouis-Marie TraonouezPublished in: CoRR (2014)
Keyphrases
- lightweight
- markov decision processes
- optimal policy
- state space
- finite state
- reinforcement learning
- dynamic programming
- model based reinforcement learning
- transition matrices
- policy iteration
- model checking
- planning under uncertainty
- reinforcement learning algorithms
- reachability analysis
- monte carlo
- decision theoretic planning
- action space
- factored mdps
- markov decision process
- average reward
- average cost
- finite horizon
- risk sensitive
- machine learning
- action sets
- wireless sensor networks
- development environments
- communication infrastructure
- state and action spaces
- infinite horizon
- learning algorithm