# Specification-Guided Critical Scenario Identification for Automated Driving

arXiv: https://arxiv.org/abs/2303.05139 · HTML: https://mlsanity.com/paper/2303.05139/

## Key facts

- Cited by 1 papers in the map (data through 14 Oct 2026).
- First posted on arXiv 9 Mar 2023.

## Built on by (most cited first, 1 of 1)

- [Validating Generalist Robots with Situation Calculus and STL Falsification](https://mlsanity.com/paper/2601.03038/) (2026)

## Abstract (arXiv)

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.