Formal Modeling of Road Network-Based Autonomous Vehicle Validation Scenarios With Intersections and Pedestrians.

Ilke Kutlu, Quentin Goss, Tahir Cetin Akinci, Mustafa Ilhan Akbas

Browse the full IPCCC paper archive.