@misc{indiciae805fe2b74f65,
  title = {CommonUppRoad: A Framework of Formal Modelling, Verifying, Learning, and Visualisation of Autonomous Vehicles},
  author = {Rong Gu and Kaige Tan and Andreas Holck Høeg-Petersen and Lei Feng and Kim Guldstrand Larsen},
  year = {2024},
  url = {https://arxiv.org/abs/2408.01093},
  note = {Source identifier: 2408.01093}
}