TY  - RPRT
TI  - Certifying Hamilton-Jacobi Reachability Learned via Reinforcement Learning
AU  - Prashant Solanki
AU  - Isabelle El-Hajj
AU  - Jasper J. van Beers
AU  - Erik-Jan van Kampen
AU  - Coen C. de Visser
PY  - 2026
UR  - https://arxiv.org/abs/2602.16475
ID  - 2602.16475
ER  -