Multi-robot mixing using braids | IEEE Conference Publication | IEEE Xplore