Decentralized Time-Varying Formation with Dynamic Leader Selection | IEEE Conference Publication | IEEE Xplore