MDP Optimal Control under Temporal Logic Constraints
Xu Chu DingStephen L. SmithCalin BeltaDaniela RusPublished in: CoRR (2011)
Keyphrases
- optimal control
- temporal logic
- model checking
- dynamic programming
- automata theoretic
- reinforcement learning
- modal logic
- risk sensitive
- control problems
- dynamic constraints
- feedback control
- average cost
- satisfiability problem
- infinite horizon
- control strategy
- markov decision processes
- finite state
- linear temporal logic
- optimal control problems
- state space
- markov decision process
- optimal policy
- computation tree logic
- temporal knowledge
- reactive systems
- real time
- policy iteration
- belief revision
- constrained optimization
- planning problems
- constraint programming
- transition systems
- utility function
- temporally extended goals
- mazurkiewicz traces