TY  - RPRT
TI  - Rigorous Simulation-based Testing for Autonomous Driving Systems -- Targeting the Achilles' Heel of Four Open Autopilots
AU  - Changwen Li
AU  - Joseph Sifakis
AU  - Rongjie Yan
AU  - Jian Zhang
PY  - 2024
UR  - https://arxiv.org/abs/2405.16914
ID  - 2405.16914
ER  -