@misc{indiciae02eb56bb03a9,
  title = {Safe-by-Construction Autonomous Vehicle Overtaking using Control Barrier Functions and Model Predictive Control},
  author = {Dingran Yuan and Xinyi Yu and Shaoyuan Li and Xiang Yin},
  year = {2023},
  url = {https://arxiv.org/abs/2310.06553},
  note = {Source identifier: 2310.06553}
}