TY  - RPRT
TI  - Simulation-based Validation for Autonomous Driving Systems
AU  - Changwen Li
AU  - Joseph Sifakis
AU  - Qiang Wang
AU  - Rongjie Yan
AU  - Jian Zhang
PY  - 2023
UR  - https://arxiv.org/abs/2301.03941
ID  - 2301.03941
ER  -