Specification-Guided Critical Scenario Identification for Automated Driving

Authors Adam Molin, Dejan Ničković, Mengjia Zhu, A. Bemporad, Hasan Esen, Edgar A. Aguilar, Alberto Bemporad

Publication date 9 March 2023

Abstract: To test automated driving systems, we present a case study for finding critical scenarios in driving environments guided by formal specifications. To that aim, we devise a framework for critical scenario identification, which we base on open-source libraries that combine scenario specification, testing, formal methods, and optimization.

This page was built for publication: Specification-Guided Critical Scenario Identification for Automated Driving

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6428933)