Robotic infrastructure for Mars outpost water supply | IEEE Conference Publication | IEEE Xplore