Copilot MIKE: An Autonomous Assistant for Multi-Robot Operations in Cave Exploration | IEEE Conference Publication | IEEE Xplore