Generating Formal Safety Assurances for High-Dimensional Reachability

25 September 2022

Papers citing "Generating Formal Safety Assurances for High-Dimensional Reachability"

3 / 3 papers shown

Title
Reachability Barrier Networks: Learning Hamilton-Jacobi Solutions for Smooth and Flexible Control Barrier Functions Matthew Kim William Sharpless Hyun Joe Jeong S. Tonkens Somil Bansal Sylvia Herbert 9 0 0 16 May 2025
Certified Approximate Reachability (CARe): Formal Error Bounds on Deep Learning of Reachable Sets Prashant Solanki Nikolaus Vertovec Yannik Schnitzer Jasper J. van Beers Coen de Visser Alessandro Abate 40 1 0 31 Mar 2025
Parameter-Conditioned Reachable Sets for Updating Safety Assurances Online Javier Borquez Kensuke Nakamura Somil Bansal 22 14 0 29 Sep 2022