# Control of a City Road Network: Distributed Exact Verification of Traffic Safety

> Research article (IEEE Transactions on Automatic Control, 2017) · cited 22× · AI/ML

**Wikidata**: [openalex:W2594551010](https://www.wikidata.org/wiki/openalex:W2594551010)  
**Source**: https://4ort.xyz/entity/control-of-a-city-road-network-distributed-exact-verification-of-traffic-safety