Autonomous exploration and mapping of abandoned mines [pdf] · HackerTrans