@misc{indiciaec3df4ec726f2,
  title = {Enumeration-Guided Training of Neural Hamilton-Jacobi Safety Certificates},
  author = {Mihaela-Larisa Clement and Tosca Pierro and Ezio Bartocci and Luca Marzari},
  year = {2026},
  url = {https://arxiv.org/abs/2610.27870},
  note = {Source identifier: 2610.27870}
}