Optimal control of MDPs with temporal logic constraints.
María SvorenováIvana CernaCalin BeltaPublished in: CDC (2013)
Keyphrases
- optimal control
- temporal logic
- model checking
- dynamic programming
- average cost
- reinforcement learning
- infinite horizon
- risk sensitive
- automata theoretic
- control problems
- dynamic constraints
- modal logic
- markov decision processes
- control strategy
- optimal control problems
- finite horizon
- policy iteration
- verification method
- linear temporal logic
- belief revision
- state space
- mazurkiewicz traces
- transition systems
- constrained optimization
- computation tree logic
- linear constraints
- reactive systems
- dec pomdps
- differential equations
- constraint programming
- control system