Abdelrahman Sayed Sayed

A novel robustness verification framework ensures that AUV-based plankton classifiers maintain stability in the face of environmental noise, reducing reliance on manual validation.

TNODEV achieves unprecedented precision in verifying neural ODEs, significantly improving safety assessments in critical applications.

Forget retraining: HyperKKL uses a hypernetwork to dynamically condition KKL observers on exogenous inputs, enabling accurate state estimation for non-autonomous nonlinear systems.