Safety Meets Speed: Accelerated Neural MPC With Safety Guarantees and No Retraining. - Kaikai Wang; Tianxun Li; Liang Xu 005; Qinglei Hu; Keyou You (IEEE Robotics Autom. Lett., 2025)