Unmanned Driving Technology in Coal Mine Based on Semantic Information Method | IEEE Journals & Magazine | IEEE Xplore