Learning a Formally Verified Control Barrier Function in Stochastic Environment

28 March 2024

Papers citing "Learning a Formally Verified Control Barrier Function in Stochastic Environment"

2 / 2 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 39 1 0 18 Mar 2025
Safe Nonlinear Control Using Robust Neural Lyapunov-Barrier Functions Charles Dawson Zengyi Qin Sicun Gao Chuchu Fan 120 173 0 14 Sep 2021