A system for volumetric robotic mapping of abandoned mines | IEEE Conference Publication | IEEE Xplore