TY  - RPRT
TI  - Using control synthesis to generate corner cases: A case study on autonomous driving
AU  - Glen Chou
AU  - Yunus E. Sahin
AU  - Liren Yang
AU  - Kwesi J. Rutledge
AU  - Petter Nilsson
AU  - Necmiye Ozay
PY  - 2018
DO  - 10.1109/tcad.2018.2858464
UR  - https://arxiv.org/abs/1807.09537
ID  - 1807.09537
ER  -