Login / Signup

Assured Learning-Based Optimal Control subject to Timed Temporal Logic Constraints.

Filippos FotiadisChristos K. VerginisKyriakos G. VamvoudakisUfuk 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