TY - RPRT TI - Convergence Guarantees for Neural Network-Based Hamilton-Jacobi Reachability AU - William Hofgard PY - 2024 UR - https://arxiv.org/abs/2410.02904 ID - 2410.02904 ER -