BaB-ND: Long-Horizon Motion Planning with Branch-and-Bound and Neural Dynamics