Abdelrahman Sayed

Publications

Communication dans un congrès (4)

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

Pré-publication, Document de travail (1)

Mixed Monotonicity Reachability Analysis of Neural ODE: A Trade-Off Between Tightness and Efficiency Abdelrahman Sayed Sayed,Pierre-Jean Meyer,Mohamed Ghazel 2025 Pré-publication, Document de travail (preprint/prepublication) hal-05331111v1