I'm so rarely seen maybe i don't even exist

Joined November 2011
Abdelrahman Sayed retweeted
Robustness Verification of an Autonomous Underwater Vehicle-based Plankton Classifier Abdelrahman Sayed Sayed, Pierre-Jean Meyer, Asgeir J. SΓΈrensen, … arxiv.org/abs/2607.04453 [𝚌𝚜.πšπ™Ύ 𝚌𝚜.𝙰𝙸 𝚎𝚎𝚜𝚜.πš‚πšˆ πš–πšŠπšπš‘.π™³πš‚] πŸ’¬Accepted in IEEE OES AUV Symposium 2026
1
1
113
Abdelrahman Sayed retweeted
TNODEV: Toolbox for Neural ODE Verification Abdelrahman Sayed Sayed, Pierre-Jean Meyer, Mohamed Ghazel arxiv.org/abs/2606.16567 [𝚌𝚜.𝙰𝙸 𝚌𝚜.𝙻𝙢 𝚎𝚎𝚜𝚜.πš‚πšˆ πš–πšŠπšπš‘.π™³πš‚]
1
3
122
Abdelrahman Sayed retweeted
It was great to chat to @Ab__Sayed as part of our series featuring the @RealAAAI / @acm_sigai doctoral consortium participants. We found out more about his work on formal verification of neural ODEs and how this research applies to transportation. aihub.org/2026/04/14/formal-…
2
3
658
I was recently interviewed by @aihuborg about my PhD work in formal verification of neural ODE . Check out the article below to read about my PhD research and the tools we are building for the future of transportation.
Formal verification for safety evaluation of autonomous vehicles: an interview with Abdelrahman Sayed Sayed ift.tt/9gfAhVe
1
1
122
Abdelrahman Sayed retweeted
Congratulations Abdelrahman Ibrahim on your "Best student presentation award" at UTC 2023 πŸ‘ #UTC #EMJMD #MIR #masterthesis @NTNU @univtoulon master-mir.eu/mir-student-re…
1
144
Abdelrahman Sayed retweeted
MIR Students at OCEANS 2023 in Limerick πŸ“· Read more on: master-mir.eu/category/news/
1
1
113