Date of Original Version



Working Paper

Rights Management

All Rights Reserved

Abstract or Description

Recursive game theory provides theoretical procedures for computing the equilibrium payoff sets of repeated games and the equilibrium payoff correspondences of dynamic games. 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 an application to a bilateral insurance game with storage.