# An Innovative Approach for Modelling Urban Road Traffic Using Timed Automata and Formal Methods

> Research article (Journal of Advanced Transportation, 2018) · cited 15× · AI/ML

**Wikidata**: [openalex:W2891468696](https://www.wikidata.org/wiki/openalex:W2891468696)  
**Source**: https://4ort.xyz/entity/an-innovative-approach-for-modelling-urban-road-traffic-using-timed-automata-and-formal-methods