MRSimEx-DSTC: A Dynamic Spanning Tree Coverage Approach for Multi-Robot Exploration and Coverage Path Planning | IEEE Journals & Magazine | IEEE Xplore