Patching Neural Barrier Functions Using Hamilton-Jacobi Reachability