Agile Formation Control for Intelligent Swarm Systems With Guaranteed Collision Avoidance | IEEE Journals & Magazine | IEEE Xplore