Synthesis and Verification of Neural Control Barrier Functions for Safe Reinforcement Learning with Guarantees

While learning-based control techniques often outperform classical controller designs, safety requirements limit the acceptance of such methods in many applications. Recent developments address this issue through Certified Learning (CL), which combines a learning-based controller with formal methods to provide safety guarantees. This thesis...