Optimal control of non-deterministic systems for a computationally efficient fragment of temporal logic.
Eric M. WolffUfuk TopcuRichard M. MurrayPublished in: CDC (2013)
Keyphrases
- temporal logic
- optimal control
- computationally efficient
- model checking
- reactive systems
- feedback control
- class of nonlinear systems
- dynamic constraints
- modal logic
- satisfiability problem
- dynamic programming
- reinforcement learning
- concurrent systems
- control problems
- distributed systems
- optimal solution
- machine learning
- automata theoretic