# Synthesizing Traffic Scenarios from Formal Specifications for Testing Automated Vehicles

> Research article (2020 IEEE Intelligent Vehicles Symposium (IV), 2020) · cited 17× · AI/ML

**Wikidata**: [openalex:W3108063174](https://www.wikidata.org/wiki/openalex:W3108063174)  
**Source**: https://4ort.xyz/entity/synthesizing-traffic-scenarios-from-formal-specifications-for-testing-automated-vehicles