Game analysis of government and company in the prevention of water disaster in the coal mine | IEEE Conference Publication | IEEE Xplore