Formal Modeling of Road Network-Based Autonomous Vehicle Validation Scenarios With Intersections and Pedestrians. - Ilke Kutlu; Quentin Goss; Tahir Cetin Akinci; Mustafa Ilhan Akbas (IPCCC, 2024)