Provably-Correct and Comfortable Adaptive Cruise Control

Matthias Althoff, Sebastian Maierhofer, Christian Pek. Provably-Correct and Comfortable Adaptive Cruise Control. IEEE Trans. Intelligent Vehicles, 6(1):159-174, 2021. [doi]

Abstract

Abstract is missing.