no code implementations • 26 Mar 2022 • Muhammad Waqas, Muhammad Ali Murtaza, Pierluigi Nuzzo, Petros Ioannou
The safety-critical nature of adaptive cruise control (ACC) systems calls for systematic design procedures, e. g., based on formal methods or control barrier functions (CBFs), to provide strong guarantees of safety and performance under all driving conditions.