Autonomous Multirobot Technologies for Mars Mining Base Construction and Operation. - Jekan Thangavelautham; Aman Chandra; Erik Jensen 002 (CoRR, 2019)