Abdelrahman Sayed

5
Documents

Publications

Publications

Formal Verification of Neural ODE for Safety Evaluation in Autonomous Vehicles

Abdelrahman Sayed Sayed
The 31st AAAI Doctoral Consortium (DC) - The Fortieth AAAI Conference on Artificial Intelligence (AAAI-26), Association for the Advancement of Artificial Intelligence, Jan 2026, Singapore, Singapore
Communication dans un congrès hal-05375718 v1
Image document

Bridging Neural ODE and ResNet: A Formal Error Bound for Safety Verification

Abdelrahman Sayed Sayed , Pierre-Jean Meyer , Mohamed Ghazel
8th International Symposium on AI Verification, Jul 2025, Zagreb, Croatia. pp.97-114, ⟨10.1007/978-3-031-99991-8_5⟩
Communication dans un congrès hal-05076150 v2
Image document

Design of a Fuzzy Type-2 Controller for 1-DOF Pitch Axis Twin Rotor System

Abdelrahman Sayed Sayed , Walid Shaker , Hossam Hassan Ammar , Ahmad Taher Azar , Chakib Ben Njima
2023 International Conference on Control, Automation and Diagnosis (ICCAD), May 2023, Rome, Italy. pp.1-6, ⟨10.1109/ICCAD57653.2023.10152432⟩
Communication dans un congrès hal-04721193 v1
Image document

Risk Assessment of an Autonomous Underwater Snake Robot in Confined Operations

Abdelrahman Sayed Sayed
OCEANS 2023 - Limerick, Jun 2023, Limerick, Ireland. pp.1-9, ⟨10.1109/OCEANSLimerick52467.2023.10244516⟩
Communication dans un congrès hal-04721094 v1