Semantic Segmentation on Martian Terrain for Navigation using Transformers | IEEE Conference Publication | IEEE Xplore