# Spatio-temporal model checking of vehicular movement in public transport systems

> Research article (International Journal on Software Tools for Technology Transfer, 2018) · cited 58× · AI/ML

**Wikidata**: [openalex:W2785192168](https://www.wikidata.org/wiki/openalex:W2785192168)  
**Source**: https://4ort.xyz/entity/spatio-temporal-model-checking-of-vehicular-movement-in-public-transport-systems