@misc{indiciae3c898fc99114,
  title = {Simulation and Model Checking for Close to Realtime Overtaking Planning},
  author = {Daumantas Pagojus and Alice Miller and Bernd Porr and Ivaylo Valkov},
  year = {2021},
  doi = {10.4204/eptcs.348.2},
  url = {https://arxiv.org/abs/2110.12577},
  note = {Source identifier: 2110.12577}
}