Mahmoud Salamati

Regret-Free Reinforcement Learning for Temporal Logic Specifications

Learning to control an unknown dynamical system with respect to high-level temporal specifications is an important problem in control theory. We present the first regret-free online algorithm for learning a controller for linear temporal logic (LTL) specifications for systems with unknown dynamics.…