Design and Analysis of an All-terrain Robotic Rover for Planetary Lava Tube Exploration | IEEE Conference Publication | IEEE Xplore