Sayed, A.S. 2026. Formal Verification of Neural ODE for Safety Evaluation in Autonomous Vehicles. Proceedings of the AAAI Conference on Artificial Intelligence. 40, 48 (Mar. 2026), 41076-41077. DOI:https://doi.org/10.1609/aaai.v40i48.42164.