Node-consistent Shapley value for games played over event trees with random terminal time

We consider a class of dynamic games played over an event tree, with random terminal time. We assume that the players wish to jointly optimize their payoffs throughout the whole planning horizon and adopt the Shapley value to share the joint cooperative outcome. We devise a node-consistent decomposition of the Shapley value, which means that in any node of the event tree, the players prefer to stick to cooperation and to continue implementing the Shapley value rather than switching to noncooperation. For each node and each player, we provide two payment values, one that applies if the game terminates at that node and the other if the game continues. We illustrate our results with an example of pollution control.