# Probabilistic Collision Risk Estimation for Autonomous Driving: Validation via Statistical Model Checking

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

**Wikidata**: [openalex:W3033160188](https://www.wikidata.org/wiki/openalex:W3033160188)  
**Source**: https://4ort.xyz/entity/probabilistic-collision-risk-estimation-for-autonomous-driving-validation-via-statistical-model-checking