Kesav Viswanadha, Francis Indaheng, Justin Wong, Edward Kim, Ellen Kalvan, Yash Pant, Daniel J. Fremont, Sanjit A. Seshia. Addressing the IEEE AV Test Challenge with Scenic and VerifAI. In 2021 IEEE International Conference on Artificial Intelligence Testing, AITest 2021, Oxford, United Kingdom, August 23-26, 2021. pages 136-142, IEEE, 2021. [doi]
Abstract is missing.