Update to AAAI-26 DC paper

Author: ab-sayed

_bibliography/papers.bib

@@ -7,12 +7,13 @@ @inproceedings{sayed2025formal
   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.},
+  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 are neural ODE.},
   booktitle={AAAI-26 Doctoral Consortium},
-  year={2025},
-  url={https://hal.science/hal-05375718}, 
-  pdf={https://hal.science/hal-05375718},
+  year={2026}, 
+  pdf={2026_Abdelrahman_Sayed_AAAI26_DC_paper.pdf},
+  poster={2026_Abdelrahman_Sayed_AAAI26_DC_poster.pdf},
   abbr={AI},
+  preview={PhD_inter_figure.png},
   selected={true}
 }
 

_news/announcement_AAAI26.md

@@ -7,5 +7,5 @@ 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
+My PhD summary paper "[Formal Verification of Neural ODE for Safety Evaluation in Autonomous Vehicles](2026_Abdelrahman_Sayed_AAAI26_DC_paper.pdf)" was accepted in [AAAI 26](https://aaai.org/conference/aaai/aaai-26/) [Doctoral Consortium](https://aaaidc.github.io/dc2026/) in Singapore and I was awarded a Travel award