Specification-Guided Critical Scenario Identification for Automated Driving
arXiv:2303.05139 · doi:10.1007/978-3-031-27481-7_35
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.
References in corpus (4)
- Testing Scenario Library Generation for Connected and Automated Vehicles, Part I: Methodology
- Scenic: A Language for Scenario Specification and Scene Generation
- Testing Scenario Library Generation for Connected and Automated Vehicles, Part II: Case Studies
- Automatic Testing With Reusable Adversarial Agents