SEEV: Synthesis with Efficient Exact Verification for ReLU Neural Barrier Functions

27 October 2024

Papers citing "SEEV: Synthesis with Efficient Exact Verification for ReLU Neural Barrier Functions"

1 / 1 papers shown

Title
CP-NCBF: A Conformal Prediction-based Approach to Synthesize Verified Neural Control Barrier Functions Manan Tayal Aditya Singh Pushpak Jagtap Shishir Kolathaya 37 1 0 18 Mar 2025