Path-Constrained Markov Decision Processes: bridging the gap between probabilistic model-checking and decision-theoretic planning.
Florent Teichteil-KönigsbuchPublished in: ECAI (2012)
Keyphrases
- decision theoretic planning
- markov decision processes
- model checking
- reachability analysis
- finite state
- probabilistic planning
- temporal logic
- planning under uncertainty
- temporally extended
- policy iteration
- reinforcement learning
- state space
- optimal policy
- dynamic programming
- timed automata
- reinforcement learning algorithms
- decision processes
- action space
- infinite horizon
- average reward
- heuristic search
- bayesian networks
- average cost
- machine learning
- real valued