Permutation Games for the Weakly Aconjunctive mu-Calculus.
Daniel HausmannLutz SchröderHans-Peter DeifelPublished in: CoRR (2017)
Keyphrases
- weighted majority
- computer games
- video games
- development environment
- game theory
- game design
- nash equilibria
- game theoretic
- game playing
- game development
- nash equilibrium
- game tree search
- data sets
- relational calculus
- imperfect information
- algebraic structure
- cooperative game
- helmholtz principle
- pure nash equilibria
- game play
- educational games
- incomplete information
- model checking
- relational databases
- cooperative
- database systems
- neural network