A Symbolic Sequential Equilibria Solver for Game Theory Explorer

Moritz Graf (University of Freiburg), Thorsten Engesser (IRIT), Bernhard Nebel (University of Freiburg)

Abstract

We present the first implemented symbolic solver for sequential equilibria in general finite imperfect information games. 1