Electromagnetic Signals Analysis Method of Coal-rock While Drilling for Anti-punching Drilling Robots | IEEE Conference Publication | IEEE Xplore