On the determinacy of concurrent games on event structures with infinite winning sets.
Julian GutierrezGlynn WinskelPublished in: J. Comput. Syst. Sci. (2014)
Keyphrases
- finite sets
- event detection
- game playing
- computer games
- game design
- human players
- event driven
- educational games
- nash equilibrium
- conjunctive queries
- video games
- game theory
- database
- query processing
- game theoretic
- search algorithm
- event sequences
- event recognition
- real numbers
- game development
- human computation
- cooperative
- mutual exclusion
- definite clause
- neural network