A Case Study in Robotic Mapping of Abandoned Mines | doi.page