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