Multi-modal User Interface for Multi-robot Control in Underground Environments | IEEE Conference Publication | IEEE Xplore