TY - RPRT TI - Safe-by-Construction Autonomous Vehicle Overtaking using Control Barrier Functions and Model Predictive Control AU - Dingran Yuan AU - Xinyi Yu AU - Shaoyuan Li AU - Xiang Yin PY - 2023 UR - https://arxiv.org/abs/2310.06553 ID - 2310.06553 ER -