Announcement_aaai26
My PhD summary paper “Formal Verification of Neural ODE for Safety Evaluation in Autonomous Vehicles” was accepted in AAAI 26 Doctoral Consortium in Singapore and I was awarded a Travel award
My PhD summary paper “Formal Verification of Neural ODE for Safety Evaluation in Autonomous Vehicles” was accepted in AAAI 26 Doctoral Consortium in Singapore and I was awarded a Travel award