Robustness Verification of an Autonomous Underwater Vehicle-based Plankton Classifier

arXiv:2607.04453 · cs.RO, cs.AI, cs.SY, eess.SY, math.DS · Submitted 2026-07-05 · Read on arXiv

cs.RO, cs.AI, cs.SY, eess.SY, math.DS

Submitted: 2026-07-05

Updated: 2026-10-22

Code: https://github.com/ab-sayed/Robustness-Verification-of-an-AUV-based-Plankton-Classifier

Terminology

• Verification — 37× in this paper · explained in 2 episodes
• Robustness — 26× in this paper · explained in 6 episodes
• Verifier — 11× in this paper · explained in 2 episodes
• Reachability Analysis — 8× in this paper · explained in 2 episodes
• Activation Function — 5× in this paper · explained in 1 episode
• Monotonicity — 4× in this paper · explained in 2 episodes
• Artificial Intelligence — 3× in this paper
• Artificial Intelligence (AI) — 3× in this paper · explained in 2 episodes
• Core — 3× in this paper · explained in 2 episodes
• Adversarial Examples — 2× in this paper · explained in 2 episodes
• Convolutional Neural Network (CNN) — 2× in this paper · explained in 2 episodes
• International Conference on Learning Representations — 2× in this paper
• Composition — 1× in this paper · explained in 2 episodes
• Convolutional Neural Networks (CNNs) — 1× in this paper · explained in 3 episodes
• Formal Methods — 1× in this paper · explained in 3 episodes
• Formal Verification — 1× in this paper · explained in 2 episodes
• Overfitting — 1× in this paper · explained in 2 episodes
• Verifiability — 1× in this paper · explained in 3 episodes

Sources

• On Robustness of Neural Ordinary Differential Equations
• TNODEV: Toolbox for Neural ODE Verification
• Mixed Monotonicity Reachability Analysis of Neural ODE: A Trade-Off Between Tightness and Efficiency

Related papers

• FMT x: An Efficient and Asymptotically Optimal Extension of the Fast Marching Tree for Dynamic Replanning
• MPCFormer: A physics-informed data-driven approach for explainable socially-aware autonomous driving
• RoboLab: A High-Fidelity Simulation Benchmark for Analysis of Task Generalist Policies
• ARC: A Reasoning Recipe for Robot Foundation Models
• HRDexDB: A 4D Dexterous Grasping Dataset Across Human and Multiple Robot Embodiments
• APT: Action Expert Pretraining Improves Instruction Generalization of Vision-Language-Action Policies