Runtime enforcement using Büchi games.
Matthieu RenardAntoine RolletYliès FalconePublished in: SPIN (2017)
Keyphrases
- video games
- nash equilibria
- game theory
- computer games
- game playing
- simulation game
- weighted majority
- game design
- nash equilibrium
- information gain
- serious games
- general game playing
- game development
- genetic algorithm
- website
- monte carlo tree search
- game players
- human computation
- learning agents
- repeated games
- imperfect information
- search algorithm
- online game
- game theoretic
- access control
- game play
- educational games