Autonomous Robot Teams for Lunar Mining Base Construction and Operation | IEEE Conference Publication | IEEE Xplore