Mars rovers localization by matching local horizon to surface digital elevation models | IEEE Conference Publication | IEEE Xplore