Gu, R., Tan, K., Høeg-Petersen, A. H., Feng, L., & Larsen, K. G. (2024). CommonUppRoad: A Framework of Formal Modelling, Verifying, Learning, and Visualisation of Autonomous Vehicles.
Chicago Style (17th ed.) CitationGu, Rong, Kaige Tan, Andreas Holck Høeg-Petersen, Lei Feng, and Kim Guldstrand Larsen. CommonUppRoad: A Framework of Formal Modelling, Verifying, Learning, and Visualisation of Autonomous Vehicles. 2024.
MLA (9th ed.) CitationGu, Rong, et al. CommonUppRoad: A Framework of Formal Modelling, Verifying, Learning, and Visualisation of Autonomous Vehicles. 2024.
Warning: These citations may not always be 100% accurate.