Learning Markov Decision Processes for Model Checking
Hua MaoYingke ChenManfred JaegerThomas D. NielsenKim G. LarsenBrian NielsenPublished in: QFM (2012)
Keyphrases
- markov decision processes
- model checking
- finite state
- reachability analysis
- reinforcement learning
- state space
- temporal logic
- dynamic programming
- optimal policy
- learning algorithm
- verification method
- planning under uncertainty
- model based reinforcement learning
- decision theoretic planning
- model checker
- partially observable
- incremental algorithms
- formal methods
- decision theoretic
- timed automata
- markov chain
- np hard