Symbolic Computation of Sequential Equilibria.

Moritz Graf Thorsten Engesser Bernhard Nebel

Published in: CoRR (2024)

Keyphrases

fixed point
game theoretic
games with incomplete information
game theory
long run
automated deduction
e learning
objective function
relational databases
nash equilibria
imperative programs