Reasoning about Reachability and Concurrency in DEL Games.
Silvia StranieriPublished in: OVERLAY@AI*IA (2022)
Keyphrases
- concurrency control
- database systems
- game theory
- state space
- computer games
- qualitative reasoning
- video games
- game playing
- human computation
- nash equilibria
- game design
- two player games
- monte carlo tree search
- game players
- game development
- spatial reasoning
- search engine
- nash equilibrium
- transitive closure
- data flow
- game play
- serious games
- educational games
- perfect information
- distributed databases
- general game playing
- multi agent systems
- concurrent execution
- pure nash equilibria