Correct-By-Construction Design of Adaptive Cruise Control with Control Barrier Functions Under Safety and Regulatory Constraints

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]

Authors

Muhammad Waqas

This author has not been identified. Look up 'Muhammad Waqas' in Google

Muhammad Ali Murtaza

This author has not been identified. Look up 'Muhammad Ali Murtaza' in Google

Pierluigi Nuzzo

This author has not been identified. Look up 'Pierluigi Nuzzo' in Google

Petros Ioannou

This author has not been identified. Look up 'Petros Ioannou' in Google