Updated CV + Added extra NeurReps resources + Added AAAI-26 DC

Author: ab-sayed

_bibliography/papers.bib

@@ -3,6 +3,24 @@
 
 @string{aps = {American Physical Society,}}
 
+@article{sayed2025formal,
+  title={Formal Verification of Neural ODE for Safety Evaluation in Autonomous Vehicles},
+  author={Sayed, Abdelrahman Sayed},
+  year={2025}
+}
+
+@inproceedings{sayed2025forma,
+  bibtex_show={true},
+  title={Formal Verification of Neural ODE for Safety Evaluation in Autonomous Vehicles}, 
+  author={Abdelrahman Sayed Sayed},
+  abstract={Higher autonomy is an increasingly common goal in the design of transportation systems for the cities of the future. Recently, part of this autonomy in both rail and maritime transport has come from the field of artificial intelligence and machine learning, particularly for perception tasks (detection and recognition of rail signals, other vessels, or other elements in the vehicle environment) using neural networks. Although AI-based approaches have gained significant popularity in many application fields due to their good performance, their unpredictability and lack of formal guarantees regarding their desired behavior present a major issue for the deployment of such safety-critical systems in urban areas. The goal of my PhD thesis is to design new formal methods to analyze and ensure the safety of such AI-based perception modules in autonomous vehicles. More specifically, my PhD topic aims to formally evaluate the safety of a recently introduced class of continuous AI models which is neural ODE.},
+  booktitle={AAAI-26 Doctoral Consortium},
+  year={2025},
+  url={https://hal.science/hal-05375718)}, 
+  pdf={https://hal.science/hal-05375718},
+  abbr={AI},
+  selected={true}
+}
 
 @inproceedings{sayed2025mixedmonotonicityreachabilityanalysis,
   bibtex_show={true},
@@ -14,9 +32,12 @@ @inproceedings{sayed2025mixedmonotonicityreachabilityanalysis
   eprint={2510.17859},
   archivePrefix={arXiv},
   primaryClass={eess.SY},
-  url={hhttps://openreview.net/forum?id=7tQsz4zosO&referrer=%5Bthe%20profile%20of%20Abdelrahman%20Sayed%20Sayed%5D(%2Fprofile%3Fid%3D~Abdelrahman_Sayed_Sayed1)}, 
-  pdf={https://arxiv.org/abs/2510.17859},
+  url={https://openreview.net/forum?id=7tQsz4zosO&referrer=%5Bthe%20profile%20of%20Abdelrahman%20Sayed%20Sayed%5D(%2Fprofile%3Fid%3D~Abdelrahman_Sayed_Sayed1))}, 
+  pdf={https://openreview.net/pdf?id=7tQsz4zosO},
   code={https://github.com/ab-sayed/Mixed-Monotonicity-Reachability-Analysis-of-neural-ODE},
+  slides={2025_Abdelrahman_Sayed_NeurReps25_slides.pdf},
+  poster={2025_Abdelrahman_Sayed_NeurReps25_poster.pdf},
+  video={https://youtu.be/H906Qvk6E-Y},
   abbr={AI},
   preview={NeurReps_Framework.png},
   selected={true}

_news/announcement_AAAI26.md

@@ -0,0 +1,11 @@
+---
+layout: post
+date: 2025-11-13 10:20:00-0400
+inline: true
+related_posts: false
+---
+
+<!-- A simple inline announcement. -->
+
+My PhD summary paper "[Formal Verification of Neural ODE for Safety Evaluation in Autonomous Vehicles](https://hal.science/hal-05375718)" was accepted in [AAAI 26](https://aaai.org/conference/aaai/aaai-26/) [Doctoral Consortium](https://aaai.org/conference/aaai/aaai-26/doctoral-consortium-call/) in Singapore and I was awarded a Travel award
+