Mathematical programming formulations to compute steady states in two-player extensive-form games

The most common solution concept for a strategic in-teraction situation is the Nash equilibrium, in which no agent can do better by deviating unilaterally. How-ever, the Nash equilibrium underlays on the assumption of common information that is hardly verified in many practical situations. When information is not common, rational agents are assumed to learn from their obser-vations to derive beliefs over their opponents ’ play and payoffs. In these situations, there are steady states com-posed of beliefs and strategies in which the strategies do not constitute a Nash equilibrium. These stable states are called in the game theory literature self-confirming equilibria. They are such that every agent plays the best response to her beliefs and these are correct on the equi-librium path, while off the equilibrium path they may be incorrect. We present some mathematical program-ming formulations for computing self-confirming equi-libria and its refinements in two-player extensive-form games and we study their properties.