Distributed Communication-Aware Motion Planning for Networked Mobile Robots Under Formal Specifications | IEEE Journals & Magazine | IEEE Xplore