TY  - RPRT
TI  - Correct-By-Construction Design of Adaptive Cruise Control with Control Barrier Functions Under Safety and Regulatory Constraints
AU  - Muhammad Waqas
AU  - Muhammad Ali Murtaza
AU  - Pierluigi Nuzzo
AU  - Petros Ioannou
PY  - 2022
UR  - https://arxiv.org/abs/2203.14110
ID  - 2203.14110
ER  -