Robust control of uncertain Markov Decision Processes with temporal logic specifications.
Eric M. WolffUfuk TopcuRichard M. MurrayPublished in: CDC (2012)
Keyphrases
- markov decision processes
- temporal logic
- finite state
- model checking
- transition systems
- concurrent systems
- bounded model checking
- reactive systems
- model checker
- optimal policy
- reinforcement learning
- decision theoretic planning
- state space
- transition matrices
- dynamic programming
- formal specification language
- formal specification
- temporally extended
- policy iteration
- decentralized control
- planning under uncertainty
- modal logic
- verification method
- linear temporal logic
- average cost
- average reward
- decision processes
- markov decision process
- formal verification
- action space
- infinite horizon
- control strategy
- belief revision
- reward function
- partially observable
- formal methods
- optimal control
- domain specific
- least squares
- multi agent systems