TNODEV: Toolbox for Neural ODE Verification.

arXiv:2606.16567v3 Announce Type: replace Abstract: Neural ordinary differential equations (neural ODE) gained attention in safety critical settings such as continuous-time controllers for cyber-physical systems and classifiers integrated into automated decisi