Design and Experimental Verification of a Jumping Legged Robot for Martian Lava Tube Exploration | IEEE Conference Publication | IEEE Xplore