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

Open in new window