Markus Koschi, Christian Pek, Sebastian Maierhofer, Matthias Althoff. Computationally Efficient Safety Falsification of Adaptive Cruise Control Systems. In 2019 IEEE Intelligent Transportation Systems Conference, ITSC 2019, Auckland, New Zealand, October 27-30, 2019. pages 2879-2886, IEEE, 2019. [doi]
Abstract is missing.