Patching Neural Barrier Functions Using Hamilton-Jacobi Reachability. - Sander Tonkens; Alex Toofanian; Zhizhen Qin; Sicun Gao; Sylvia L. Herbert (CoRR, 2023)

Patching Approximately Safe Value Functions Leveraging Local Hamilton-Jacobi Reachability Analysis. - Sander Tonkens; Alex Toofanian; Zhizhen Qin; Sicun Gao; Sylvia L. Herbert (CDC, 2024)