# A Quantitative Safety Verification Approach for the Decision-making Process of Autonomous Driving

> Research article (2019 International Symposium on Theoretical Aspects of Software Engineering (TASE), 2019) · cited 13× · AI/ML

**Wikidata**: [openalex:W2991636829](https://www.wikidata.org/wiki/openalex:W2991636829)  
**Source**: https://4ort.xyz/entity/a-quantitative-safety-verification-approach-for-the-decision-making-process-of-autonomous-driving