Formal Scenario-Based Testing of Autonomous Vehicles: From Simulation to the Real World

Daniel J. Fremont, Edward Kim, Yash Vardhan Pant, Sanjit A. Seshia, Atul Acharya, Xantha Bruso, Paul Wells, Steve Lemke, Qiang Lu, Shalin Mehta. Formal Scenario-Based Testing of Autonomous Vehicles: From Simulation to the Real World. In 23rd IEEE International Conference on Intelligent Transportation Systems, ITSC 2020, Rhodes, Greece, September 20-23, 2020. pages 1-8, IEEE, 2020. [doi]

Authors

Daniel J. Fremont

This author has not been identified. Look up 'Daniel J. Fremont' in Google

Edward Kim

This author has not been identified. Look up 'Edward Kim' in Google

Yash Vardhan Pant

This author has not been identified. Look up 'Yash Vardhan Pant' in Google

Sanjit A. Seshia

This author has not been identified. Look up 'Sanjit A. Seshia' in Google

Atul Acharya

This author has not been identified. Look up 'Atul Acharya' in Google

Xantha Bruso

This author has not been identified. Look up 'Xantha Bruso' in Google

Paul Wells

This author has not been identified. Look up 'Paul Wells' in Google

Steve Lemke

This author has not been identified. Look up 'Steve Lemke' in Google

Qiang Lu

This author has not been identified. Look up 'Qiang Lu' in Google

Shalin Mehta

This author has not been identified. Look up 'Shalin Mehta' in Google