TY  - RPRT
TI  - Neural Backward Reach-Avoid Tubes with MPC Supervision for High-Dimensional Systems: An Application to Safe Spacecraft Docking
AU  - Santiago Thorup
AU  - Luca Castelletto
AU  - Zeyuan Feng
AU  - Somil Bansal
PY  - 2026
UR  - https://arxiv.org/abs/2605.02021
ID  - 2605.02021
ER  -