TY  - RPRT
TI  - Computing Sound Lower and Upper Bounds on Hamilton-Jacobi Reach-Avoid Value Functions
AU  - Ihab Tabbara
AU  - Eliya Badr
AU  - Hussein Sibai
PY  - 2026
UR  - https://arxiv.org/abs/2511.15238
ID  - 2511.15238
ER  -