TY  - RPRT
TI  - Addressing the IEEE AV Test Challenge with Scenic and VerifAI
AU  - Kesav Viswanadha
AU  - Francis Indaheng
AU  - Justin Wong
AU  - Edward Kim
AU  - Ellen Kalvan
AU  - Yash Pant
AU  - Daniel J. Fremont
AU  - Sanjit A. Seshia
PY  - 2021
UR  - https://arxiv.org/abs/2108.13796
ID  - 2108.13796
ER  -