ON THE COMPUTATION OF VALUE CORREPONDENCES OF DYNAMIC GAMES

Recursive Game Theory provides theoretical procedured for computing the equilibrium payoff sets of repeated games and the equilibrium payoff correspondences of dynamic games. These procedures can not be directly implemented on a computer since they involve the computations of objects with infinite cardinality. In the context of repeated games, Conklin, Judd and Yeltekin(1999) emphasize the value of inner and outer approximation schemes that permit both the computation of ( approximate) value sets and an estimate of the computational error. In this paper, we propose, and implement outer and inner approximation methods for value correspondences, that naturally occur in the analysis of dynamic games. The procedure utilizes set valued step functions. We provide applications to international borrowing and lending and intergenerational transfers.