Computationally Efficient Safety Falsification of Adaptive Cruise Control Systems

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]

@inproceedings{KoschiPMA19,
  title = {Computationally Efficient Safety Falsification of Adaptive Cruise Control Systems},
  author = {Markus Koschi and Christian Pek and Sebastian Maierhofer and Matthias Althoff},
  year = {2019},
  doi = {10.1109/ITSC.2019.8917287},
  url = {https://doi.org/10.1109/ITSC.2019.8917287},
  researchr = {https://researchr.org/publication/KoschiPMA19},
  cites = {0},
  citedby = {0},
  pages = {2879-2886},
  booktitle = {2019 IEEE Intelligent Transportation Systems Conference, ITSC 2019, Auckland, New Zealand, October 27-30, 2019},
  publisher = {IEEE},
  isbn = {978-1-5386-7024-8},
}