Finite-Time Rigidity-Based Formation Maneuvering of Multiagent Systems Using Distributed Finite-Time Velocity Estimators | IEEE Journals & Magazine | IEEE Xplore