TY  - RPRT
TI  - Enumeration-Guided Training of Neural Hamilton-Jacobi Safety Certificates
AU  - Mihaela-Larisa Clement
AU  - Tosca Pierro
AU  - Ezio Bartocci
AU  - Luca Marzari
PY  - 2026
UR  - https://arxiv.org/abs/2610.27870
ID  - 2610.27870
ER  -