Technologies for exploring the Martian subsurface | IEEE Conference Publication | IEEE Xplore