TY - RPRT TI - Temporal Logic Task Planning and Intermittent Connectivity Control of Mobile Robot Networks AU - Yiannis Kantaros AU - Meng Guo AU - Michael M. Zavlanos PY - 2018 UR - https://arxiv.org/abs/1706.00765 ID - 1706.00765 ER -