Convergence Guarantees for Neural Network-Based Hamilton-Jacobi Reachability

Re-assign community