Characterizing Omega-Regularity Through Finite-Memory Determinacy of Games on Infinite Graphs.
Patricia BouyerMickael RandourPierre VandenhovePublished in: STACS (2022)
Keyphrases
- finite sets
- real numbers
- memory requirements
- video games
- directed graph
- computer games
- graph matching
- nash equilibria
- graph structure
- game play
- finite number
- graph mining
- memory size
- game design
- graph theoretic
- graph representation
- graph databases
- nash equilibrium
- game playing
- memory usage
- memory space
- graph theory
- limited memory
- finite dimensional
- game theory
- search algorithm
- spanning tree
- game theoretic
- graph model
- weighted graph
- imperfect information
- main memory