Collision-Free Formation Control for Multi-Agent Systems With Dynamic Mapping | IEEE Journals & Magazine | IEEE Xplore