RoboLeader: An agent for supervisory control of multiple robots | IEEE Conference Publication | IEEE Xplore