Radar autofocus algorithm incorporating terrain knowledge for correction of Mars' ionospheric distortion in MARSIS observations | IEEE Conference Publication | IEEE Xplore