Reachability analysis for autonomous systems
Learning Lyapunov-based certificates
Safe human-in-the-loop control systems
