@misc{indiciaed06bf9c5184d,
  title = {Rigorous Simulation-based Testing for Autonomous Driving Systems -- Targeting the Achilles' Heel of Four Open Autopilots},
  author = {Changwen Li and Joseph Sifakis and Rongjie Yan and Jian Zhang},
  year = {2024},
  url = {https://arxiv.org/abs/2405.16914},
  note = {Source identifier: 2405.16914}
}