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

6 June 2023

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

2 / 2 papers shown

Title
Lyapunov-Net: A Deep Neural Network Architecture for Lyapunov Function Approximation Nathan Gaby Fumin Zhang X. Ye PINN 32 39 0 27 Sep 2021
Introduction to Neural Network Verification Aws Albarghouthi AAML 53 85 0 21 Sep 2021