# Applying Probabilistic Model Checking to Path Planning in an Intelligent Transportation System Using Mobility Trajectories and Their Statistical Data

> Research article (Intelligent Automation & Soft Computing, 2019) · cited 99× · AI/ML

**Wikidata**: [openalex:W2952468414](https://www.wikidata.org/wiki/openalex:W2952468414)  
**Source**: https://4ort.xyz/entity/applying-probabilistic-model-checking-to-path-planning-in-an-intelligent-transportation-system-using-mobility-trajectori