A Computational Approach to Proving Uniqueness in Dynamic Games

Dynamic games are used to analyze dynamic strategic interactions. While existence of equilibrium can often be proved by conventional methods, uniqueness is much more difficult to establish. If a game reduces to solving a system of polynomial equations, then one could use algorithms for finding all solutions to such systems to establish if equilibrium was unique. We study a common type of game where equilibrium can be analyzed as a sequence of small games and apply an all solutions algorithm to each such game