Sign in
Assured Learning-Based Optimal Control subject to Timed Temporal Logic Constraints.
Filippos Fotiadis
Christos K. Verginis
Kyriakos G. Vamvoudakis
Ufuk Topcu
Published in:
CDC (2021)
Keyphrases
</>
temporal logic
optimal control
learning algorithm
reinforcement learning
model checking
feedback control
satisfiability problem
concurrent systems
petri net
control problems