Rational verification and checking for Nash and subgame-perfect equilibria in graph games.
Léonard BriceJean-François RaskinMarie van den BogaardPublished in: CoRR (2023)
Keyphrases
- nash equilibria
- subgame perfect
- nash equilibrium
- game theory
- incomplete information
- game theoretic
- stochastic games
- pure strategy
- fictitious play
- verification method
- solution concepts
- graph representation
- random walk
- structured data
- rational agents
- multiagent learning
- directed graph
- graph model
- weighted graph
- mixed strategy
- equilibrium strategies
- imperfect information
- repeated games
- congestion games
- normal form games
- decision making