Space robotics experts have created a team of intelligent robots that can be lofted to Mars to map lava tubes that can provide sanctuaries for the first human explorers.