TY  - RPRT
TI  - Control Synthesis for Multi-Agent Systems under Metric Interval Temporal Logic Specifications
AU  - Sofie Andersson
AU  - Alexandros Nikou
AU  - Dimos V. Dimarogonas
PY  - 2017
UR  - https://arxiv.org/abs/1703.02780
ID  - 1703.02780
ER  -