MDP optimal control under temporal logic constraints.
Xu Chu DingStephen L. SmithCalin BeltaDaniela RusPublished in: CDC/ECC (2011)
Keyphrases
- optimal control
- temporal logic
- dynamic programming
- model checking
- control problems
- reinforcement learning
- automata theoretic
- dynamic constraints
- average cost
- modal logic
- satisfiability problem
- feedback control
- risk sensitive
- markov decision processes
- control strategy
- infinite horizon
- finite state
- verification method
- bounded model checking
- belief revision
- policy iteration
- state space
- machine learning
- real time
- linear temporal logic
- constrained optimization
- constraint programming
- optimal policy
- formal specification language
- markov decision process
- linear programming
- optimal control problems
- linear quadratic
- mazurkiewicz traces
- temporally extended
- reactive systems
- formal specification
- sufficient conditions
- control system