2026
Formal Verification of Neural ODE for Safety Evaluation in Autonomous Vehicles
AAAI 2026technical
Higher autonomy is an increasingly common goal in the design of transportation systems for the cities of the future. Recently, part of this autonomy in both rail and maritime transport has come from the field of artificial intelligence and machine learning, particularly for perception tasks (detecti