An Automatic Spatial-Temporal Evolution Inversion Method of Mining Goaf Based on the Improved Hotspot Analysis and Probability Integral Method | IEEE Journals & Magazine | IEEE Xplore