Reachability Games and Game Semantics: Comparing Nondeterministic Programs.
Andrzej S. MurawskiPublished in: LICS (2008)
Keyphrases
- game players
- video games
- computer games
- game playing
- game theory
- game play
- computer chess
- game design
- nash equilibria
- game theoretic
- nash equilibrium
- educational games
- learning games
- serious games
- online game
- perfect information
- monte carlo tree search
- game development
- imperfect information
- digital games
- board game
- games played
- general game playing
- game tree search
- human computation
- game based learning
- two player games
- game programming
- cooperative game
- computer programs
- simulation game
- minority game
- coalitional games
- winning strategy
- evaluation function
- table tennis
- adventure game
- game engine
- dynamic logic
- extensive form games
- stochastic games
- game mechanics
- boolean games
- pure nash equilibria
- logic programming
- stable model semantics
- repeated games
- mobile games
- computer poker
- monte carlo
- stable models
- leader follower
- game tree
- logic programs
- playing games
- incomplete information
- finite state
- solution concepts
- human players
- game ai
- card game
- multi player
- fixpoint
- pure strategy
- opponent modeling
- learning experience
- mixed strategy