Swarm Exploration of Extraterrestrial Lava Tubes with Ad-Hoc Communications | IEEE Conference Publication | IEEE Xplore