Research and Application of Reinforcement Learning Based on Constraint MDP in Coal Mine | IEEE Conference Publication | IEEE Xplore