Verification of Neural Control Barrier Functions with Symbolic Derivative Bounds Propagation

4 October 2024

Papers citing "Verification of Neural Control Barrier Functions with Symbolic Derivative Bounds Propagation"

2 / 2 papers shown

Title
Designing Control Barrier Function via Probabilistic Enumeration for Safe Reinforcement Learning Navigation Luca Marzari Francesco Trotti Enrico Marchesini Alessandro Farinelli 43 0 0 30 Apr 2025
BaB-ND: Long-Horizon Motion Planning with Branch-and-Bound and Neural Dynamics Keyi Shen Jiangwei Yu Huan Zhang Yunzhu Li Yunzhu Li 73 1 0 12 Dec 2024