Neural Backward Reach-Avoid Tubes with MPC Supervision for High-Dimensional Systems: An Application to Safe Spacecraft Docking. - Santiago Thorup; Luca Castelletto; Zeyuan Feng; Somil Bansal (CoRR, 2026)