A Symbolic Sequential Equilibria Solver for Game Theory Explorer

Moritz Graf, Thorsten Engesser, Bernhard Nebel. A Symbolic Sequential Equilibria Solver for Game Theory Explorer. In Mehdi Dastani, Jaime Simão Sichman, Natasha Alechina, Virginia Dignum, editors, Proceedings of the 23rd International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2024, Auckland, New Zealand, May 6-10, 2024. pages 2803-2805, ACM, 2024. [doi]

Abstract

Abstract is missing.