Virtual Leader-based Safe Formation-Switching Control for Dense Environments | IEEE Conference Publication | IEEE Xplore