Permutation Games for the Weakly Aconjunctive \mu μ -Calculus.
Daniel HausmannLutz SchröderHans-Peter DeifelPublished in: TACAS (2) (2018)
Keyphrases
- video games
- game theory
- human computation
- computer games
- game play
- nash equilibria
- monte carlo tree search
- game theoretic
- game playing
- general game playing
- cooperative game
- learning agents
- educational games
- helmholtz principle
- data sets
- games played
- weighted majority
- algebraic structure
- game players
- coalitional games
- learning process
- knowledge base