# Provably-correct coordination of large collections of agents with counting temporal logic constraints

> Research article (Proceedings of the 8th International Conference on Cyber-Physical Systems, 2017) · cited 30× · AI/ML

**Wikidata**: [openalex:W2606589726](https://www.wikidata.org/wiki/openalex:W2606589726)  
**Source**: https://4ort.xyz/entity/provably-correct-coordination-of-large-collections-of-agents-with-counting-temporal-logic-constraints