TY  - RPRT
TI  - CommonUppRoad: A Framework of Formal Modelling, Verifying, Learning, and Visualisation of Autonomous Vehicles
AU  - Rong Gu
AU  - Kaige Tan
AU  - Andreas Holck Høeg-Petersen
AU  - Lei Feng
AU  - Kim Guldstrand Larsen
PY  - 2024
UR  - https://arxiv.org/abs/2408.01093
ID  - 2408.01093
ER  -