A. S. Sayed, “Formal Verification of Neural ODE for Safety Evaluation in Autonomous Vehicles”, AAAI, vol. 40, no. 48, pp. 41076-41077, Mar. 2026.