Parity Games and Automata for Game Logic.
Helle Hvid HansenClemens KupkeJohannes MartiYde VenemaPublished in: DALI@TABLEAUX (2017)
Keyphrases
- winning strategy
- computer games
- game theory
- video games
- game playing
- game play
- nash equilibrium
- game design
- nash equilibria
- game theoretic
- perfect information
- educational games
- game development
- serious games
- game players
- learning games
- game programming
- games played
- pure nash equilibria
- monte carlo tree search
- digital games
- board game
- human computation
- online game
- stochastic games
- coalitional games
- game tree search
- two player games
- boolean games
- cooperative game
- simulation game
- game based learning
- game engine
- imperfect information
- solution concepts
- cellular automata
- general game playing
- game ai
- error correction
- pure strategy
- extensive form games
- proof procedures
- adventure game
- repeated games
- fictitious play
- game tree
- automata theoretic
- mobile games
- opponent modeling
- multi player
- card game
- minority game
- cooperative games
- monte carlo search
- table tennis
- game mechanics
- finite automata
- playing games
- human players
- evaluation function
- incomplete information
- leader follower
- finite state
- modal logic
- decision problems