Published onFebruary 8, 2022An Autonomous Assistant for Multi-Robot Operations in Cave Explorationsubtrosroboticshrihci