@article{controllersynthesisformultiagentsystems, title = {Controller Synthesis for Multi-Agent Systems With Intermittent Communication: A Metric Temporal Logic Approach}, year = {2019}, eprint = {1909.09939}, archivePrefix = {arXiv}, url = {http://arxiv.org/abs/1909.09939v1}, }