Path Planning for Permutation-Invariant Multi-Robot Formations | IEEE Conference Publication | IEEE Xplore