skip to main content
10.5555/3635637.3663293acmconferencesArticle/Chapter ViewAbstractPublication PagesaamasConference Proceedingsconference-collections
research-article

A Symbolic Sequential Equilibria Solver for Game Theory Explorer

Published: 06 May 2024 Publication History

Abstract

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

References

[1]
Moritz Graf, Thorsten Engesser, and Bernhard Nebel. 2024. Symbolic Computation of Sequential Equilibria. In Proceedings of the 23rd International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2024), Auckland, New Zealand, May 6-10, 2024.
[2]
Ebbe Hendon, Hans J. Jacobsen, and Birgitte Sloth. 1996. The One-Shot-Deviation Principle for Sequential Rationality. Games and Economic Behavior, Vol. 12, 2 (February 1996), 274--282.
[3]
Elon Kohlberg and Philip J. Reny. 1997. Independence on Relative Probability Spaces and Consistent Assessments in Game Trees. Journal of Economic Theory, Vol. 75, 2 (August 1997), 280--313.
[4]
David M. Kreps and Robert Wilson. 1982. Sequential Equilibria. Econometrica, Vol. 50, 4 (July 1982), 863--894.
[5]
Martin J. Osborne and Ariel Rubinstein. 1994. A Course in Game Theory. The MIT Press.
[6]
Rahul Savani and Bernhard von Stengel. 2015. Game Theory Explorer: Software for the Applied Game Theorist. Computational Management Science, Vol. 12, 1 (2015), 5--33.
[7]
Reinhard Selten. 1975. Reexamination of the Perfectness Concept for Equilibrium Points in Extensive Games. International Journal of Game Theory, Vol. 4 (1975), 25--55.
[8]
Adam Strzebonski. 2023. Cylindrical Algebraic Decomposition. https://mathworld.wolfram.com/CylindricalAlgebraicDecomposition.html. Accessed on 202

Cited By

View all
  • (2024)Symbolic Computation of Sequential EquilibriaProceedings of the 23rd International Conference on Autonomous Agents and Multiagent Systems10.5555/3635637.3662924(715-723)Online publication date: 6-May-2024

Recommendations

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences
AAMAS '24: Proceedings of the 23rd International Conference on Autonomous Agents and Multiagent Systems
May 2024
2898 pages
ISBN:9798400704864

Sponsors

Publisher

International Foundation for Autonomous Agents and Multiagent Systems

Richland, SC

Publication History

Published: 06 May 2024

Check for updates

Author Tags

  1. extensive-form games
  2. game theory
  3. sequential equilibrium

Qualifiers

  • Research-article

Funding Sources

  • ANR LabEx CIMI
  • EU ICT-48 2020 project TAILOR

Conference

AAMAS '23
Sponsor:

Acceptance Rates

Overall Acceptance Rate 1,155 of 5,036 submissions, 23%

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)12
  • Downloads (Last 6 weeks)2
Reflects downloads up to 22 Sep 2024

Other Metrics

Citations

Cited By

View all
  • (2024)Symbolic Computation of Sequential EquilibriaProceedings of the 23rd International Conference on Autonomous Agents and Multiagent Systems10.5555/3635637.3662924(715-723)Online publication date: 6-May-2024

View Options

Get Access

Login options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Media

Figures

Other

Tables

Share

Share

Share this Publication link

Share on social media