@misc{indiciae6993c44f6320,
  title = {Formally Modeling Autonomous Vehicles in LNT for Simulation and Testing},
  author = {Lina Marsso and Radu Mateescu and Lucie Muller and Wendelin Serwe},
  year = {2022},
  doi = {10.4204/eptcs.355.5},
  url = {https://arxiv.org/abs/2203.09885},
  note = {Source identifier: 2203.09885}
}