Muhammad Waqas, Muhammad Ali Murtaza, Pierluigi Nuzzo, Petros Ioannou. Correct-By-Construction Design of Adaptive Cruise Control with Control Barrier Functions Under Safety and Regulatory Constraints. In American Control Conference, ACC 2022, Atlanta, GA, USA, June 8-10, 2022. pages 5140-5146, IEEE, 2022. [doi]
Abstract is missing.