Mapping planetary caves with an autonomous, heterogeneous robot team | IEEE Conference Publication | IEEE Xplore