Research papers · 2023
Specification-Guided Critical Scenario Identification for Automated Driving
Specification-Guided Critical Scenario Identification for Automated Driving
Overview
This case study uses formal specifications to guide critical-scenario identification for automated driving. Its framework connects open-source libraries for scenario specification, testing, formal methods, and optimization to search driving environments systematically.
Author-supplied source information
Author-supplied information on arXiv.
Formal Methods. FM 2023. Lecture Notes in Computer Science, vol 14000
Version: arXiv v1 — manuscript revision