Controller Synthesis and Verification for Markov Decision Processes with Qualitative Branching Time Objectives.
Tomás BrázdilVojtech ForejtAntonín KuceraPublished in: ICALP (2) (2008)
Keyphrases
- markov decision processes
- controller synthesis
- model checking
- reachability analysis
- autonomic computing systems
- temporal logic
- state space
- finite state
- transition matrices
- optimal policy
- dynamic programming
- closed loop
- reinforcement learning
- control system
- policy iteration
- decision theoretic planning
- multi agent
- temporal reasoning
- model based reinforcement learning
- average reward
- partially observable
- markov decision process
- average cost
- action sets
- control algorithm
- action space
- infinite horizon
- planning under uncertainty
- neural network
- sensitivity analysis