A configuration space for permutation-invariant multi-robot formations | IEEE Conference Publication | IEEE Xplore