Temporal Logic Task Planning and Intermittent Connectivity Control of Mobile Robot Networks | IEEE Journals & Magazine | IEEE Xplore