Specification-Guided Critical Scenario Identification for Automated Driving
Reviewed by Pithpith:NBSEIFKPopen to challenge →
classification
math.OC
keywords
criticaldrivingscenarioautomatedformalidentificationbasecase
read the original 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 paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.