# An abstract model for proving safety of autonomous urban traffic

> Research article (Theoretical Computer Science, 2018) · cited 25× · AI/ML

**Wikidata**: [openalex:W4256369226](https://www.wikidata.org/wiki/openalex:W4256369226)  
**Source**: https://4ort.xyz/entity/an-abstract-model-for-proving-safety-of-autonomous-urban-traffic