@misc{indiciae21594d9216e7, title = {Addressing the IEEE AV Test Challenge with Scenic and VerifAI}, author = {Kesav Viswanadha and Francis Indaheng and Justin Wong and Edward Kim and Ellen Kalvan and Yash Pant and Daniel J. Fremont and Sanjit A. Seshia}, year = {2021}, url = {https://arxiv.org/abs/2108.13796}, note = {Source identifier: 2108.13796} }