4 papers
TNODEV: Toolbox for Neural ODE Verification
Abdelrahman Sayed Sayed, Pierre-Jean Meyer, Mohamed Ghazel
Neural ordinary differential equations (neural ODE) gained attention in safety critical settings such as continuous-time controllers for cyber-physical systems and classifiers inte…
Robustness Verification of an Autonomous Underwater Vehicle-based Plankton Classifier
Abdelrahman Sayed Sayed, Pierre-Jean Meyer, Asgeir J. Sørensen +1
The assessment of planktonic standing stocks and microorganism structures is critical for understanding upper ocean biological processes. Currently, autonomous underwater vehicles…
Mixed Monotonicity Reachability Analysis of Neural ODE: A Trade-Off Between Tightness and Efficiency
Abdelrahman Sayed Sayed, Pierre-Jean Meyer, Mohamed Ghazel
Neural ordinary differential equations (neural ODE) are powerful continuous-time machine learning models for depicting the behavior of complex dynamical systems, but their verifica…
Bridging Neural ODE and ResNet: A Formal Error Bound for Safety Verification
Abdelrahman Sayed Sayed, Pierre-Jean Meyer, Mohamed Ghazel
A neural ordinary differential equation (neural ODE) is a machine learning model that is commonly described as a continuous-depth generalization of a residual network (ResNet) with…