Hamilton-Jacobi Reachability for Spacecraft Collision Avoidance. - Larry Hui; Jordan Kam; William Su; Jianshu Zhou (CoRR, 2026)