Temporal Logic Guided Safe Model-Based Reinforcement Learning
Applications to Autonomous Vehicles in Traffic Networks
A Modular Approach to Adaptive Safety-Critical Control
Safe Exploration in Model-Based Reinforcement Learning
Robust Safety-Critical Control for Systems with Actuation Uncertainty