Value Functions are Control Barrier Functions: Verification of Safe Policies using Control Theory

Daniel C. H. Tan, Fernando Acero, Robert McCarthy +2

Guaranteeing safe behaviour of reinforcement learning (RL) policies poses significant challenges for safety-critical applications, despite RL's generality and scalability. To addre…