Autonomous exploration of planetary lava tubes using a multi-rover framework | IEEE Conference Publication | IEEE Xplore