Addressing the IEEE AV Test Challenge with Scenic and VerifAI. - Kesav Viswanadha; Francis Indaheng; Justin Wong; Edward Kim 005; Ellen Kalvan; Yash Pant; Daniel J. Fremont; Sanjit A. Seshia (AITest, 2021)