Optimal Control of MDPs with Temporal Logic Constraints
María SvorenováIvana CernaCalin BeltaPublished in: CoRR (2013)
Keyphrases
- optimal control
- temporal logic
- model checking
- reinforcement learning
- dynamic programming
- average cost
- risk sensitive
- infinite horizon
- automata theoretic
- control problems
- markov decision processes
- dynamic constraints
- control strategy
- modal logic
- optimal control problems
- policy iteration
- state space
- temporal knowledge
- verification method
- linear temporal logic
- finite horizon
- mazurkiewicz traces
- reactive systems
- finite state
- linear quadratic
- computation tree logic
- belief revision
- markov decision process
- transition systems
- constrained optimization
- constraint programming
- formal specification language