Rational Verification for Nash and Subgame-Perfect Equilibria in Graph Games.
Léonard BriceJean-François RaskinMarie van den BogaardPublished in: MFCS (2023)
Keyphrases
- nash equilibria
- subgame perfect
- nash equilibrium
- game theory
- incomplete information
- stochastic games
- game theoretic
- pure strategy
- fictitious play
- solution concepts
- random walk
- graph representation
- directed acyclic graph
- graph structure
- directed graph
- structured data
- weighted graph
- graph model
- decision making
- graph theory
- pareto optimal
- graph matching
- model checking
- resource allocation
- mixed strategy
- bipartite graph
- signature verification
- multiagent learning
- dynamic programming
- normal form games
- objective function