Tosca Pierro

Enumeration-Guided Training of Neural Hamilton-Jacobi Safety Certificates

Hamilton-Jacobi (HJ) reachability analysis offers formal safety guarantees for control systems, but training accurate neural certificates remains difficult, particularly when unsafe regions are hard to characterize. We propose a verification-guided training framework that addresses this by using probabilistic enumerati...