Abdelrahman Sayed
5
Documents
Publications
Publications
Formal Verification of Neural ODE for Safety Evaluation in Autonomous VehiclesThe 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
|
|
|
|
Bridging Neural ODE and ResNet: A Formal Error Bound for Safety Verification8th 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
|
|
|
Design of a Fuzzy Type-2 Controller for 1-DOF Pitch Axis Twin Rotor System2023 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
|
|
|
Risk Assessment of an Autonomous Underwater Snake Robot in Confined OperationsOCEANS 2023 - Limerick, Jun 2023, Limerick, Ireland. pp.1-9, ⟨10.1109/OCEANSLimerick52467.2023.10244516⟩
Communication dans un congrès
hal-04721094
v1
|
|
|
Mixed Monotonicity Reachability Analysis of Neural ODE: A Trade-Off Between Tightness and Efficiency2025
Pré-publication, Document de travail
(preprint/prepublication)
hal-05331111
v1
|
Chargement...
Chargement...