A robotic system for underground coal mining | IEEE Conference Publication | IEEE Xplore