Before revision:  We formulate this problem as a differential game where the two players are the mining company whose aim is to maximize the revenues generated from its extracting activities and the government agency in charge of regulating and taxing natural resources.
After revision:  We formulate this problem as a differential game . The two players of this differential game are the mining company whose aim is to maximize the revenues generated from its extracting activities and the government agency in charge of regulating and taxing natural resources.