Reachability analysis for incomplete networks of Markov decision processes.
Ralf WimmerErnst Moritz HahnHolger HermannsBernd BeckerPublished in: MEMOCODE (2011)
Keyphrases
- reachability analysis
- markov decision processes
- state space
- finite state
- dynamic programming
- optimal policy
- reinforcement learning
- model checking
- planning under uncertainty
- transition matrices
- policy iteration
- reinforcement learning algorithms
- decision processes
- decision theoretic planning
- model based reinforcement learning
- partially observable
- average cost
- incremental algorithms
- timed automata
- action sets
- infinite horizon
- state and action spaces
- decision problems
- linear programming