CommonUppRoad: A Framework of Formal Modelling, Verifying, Learning, and Visualisation of Autonomous Vehicles.

Rong Gu, Kaige Tan, Andreas Holck Heg-Petersen, Lei Feng, Kim Guldstrand Larsen

Browse the full ISoLA paper archive.