Development and Application of Pressure and Gas Retaining Coring Robot in Coal Mine | IEEE Conference Publication | IEEE Xplore