Formal Scenario-Based Testing of Autonomous Vehicles: From Simulation to the Real World. - Daniel J. Fremont; Edward Kim 005; Yash Vardhan Pant; Sanjit A. Seshia; Atul Acharya; Xantha Bruso; Paul Wells; Steve Lemke; Qiang Lu 004; Shalin Mehta (ITSC, 2020)

LGSVL Simulator: A High Fidelity Simulator for Autonomous Driving. - Guodong Rong 001; Byung Hyun Shin; Hadi Tabatabaee; Qiang Lu 004; Steve Lemke; Martins Mozeiko; Eric Boise; Geehoon Uhm; Mark Gerow; Shalin Mehta; Eugene Agafonov; Tae Hyung Kim; et al. (ITSC, 2020)