Characterizing Omega-Regularity through Finite-Memory Determinacy of Games on Infinite Graphs.
Patricia BouyerMickael RandourPierre VandenhovePublished in: TheoretiCS (2023)
Keyphrases
- finite sets
- graph matching
- finite number
- real numbers
- graph theoretic
- game theoretic
- directed graph
- video games
- memory requirements
- game playing
- game play
- educational games
- limited memory
- nash equilibria
- memory usage
- main memory
- computer games
- game theory
- perfect information
- nash equilibrium
- bipartite graph
- conjunctive queries
- memory space
- graph kernels
- pruning power
- memory size
- database systems
- finite automata
- graph databases
- game design
- graph structure
- associative memory