Computer Science - Artificial Intelligence

Value Functions Are Control Barrier Functions: Verification of Safe Policies Using Control Theory

Guaranteeing safe behaviour of reinforcement learning (RL) policies poses significant challenges for safety-critical applications, …

Daniel C. H. Tan, Fernando Acero, Robert McCarthy, Dimitrios Kanoulas, Zhibin Li