# Control Synthesis for Multi-Agent Systems under Metric Interval Temporal Logic Specifications

> Research article (IFAC-PapersOnLine, 2017) · cited 19× · AI/ML

**Wikidata**: [openalex:W2592045034](https://www.wikidata.org/wiki/openalex:W2592045034)  
**Source**: https://4ort.xyz/entity/control-synthesis-for-multi-agent-systems-under-metric-interval-temporal-logic-specifications