CommonUppRoad

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

Rong Gu 1, Kaige Tan 2, Andreas Holck Høeg-Petersen 3, Lei Feng 2, Kim Guldstrand Larsen 3

1 Mälardalen University, Sweden

2 KTH, Sweden

3 Aalborg University, Denmark