Good-for-games ω-Pushdown Automata.
Karoliina LehtinenMartin ZimmermannPublished in: Log. Methods Comput. Sci. (2022)
Keyphrases
- game theory
- finite state
- cellular automata
- video games
- regular expressions
- nash equilibrium
- computer games
- game playing
- weighted majority
- probabilistic automata
- neural network
- coalitional games
- game development
- finite automata
- game design
- game play
- model checking
- nash equilibria
- online game
- game tree search
- board game
- general game playing
- genetic algorithm