Reachability is Decidable in the Numbers Game.
Kimmo ErikssonPublished in: Theor. Comput. Sci. (1994)
Keyphrases
- transitive closure
- game theory
- computer games
- game playing
- nash equilibrium
- video games
- state space
- first order logic
- online game
- game theoretic
- game play
- pursuit evasion
- soccer game
- optimal strategy
- repeated games
- real time strategy games
- real numbers
- pac man
- game design
- game tree
- database
- integrity constraints
- search space
- multi agent systems
- learning algorithm
- neural network