A Multi-User Multi-Robot Collaboration through Augmented Reality | IEEE Conference Publication | IEEE Xplore