Abdelrahman Sayed

5
Documents

Publications

Publications

Deposit thumbnail

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-05375718v1
Deposit thumbnail

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-05076150v2
Deposit thumbnail

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-04721193v1
Deposit thumbnail

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-04721094v1