How to Win First-Order Safety Games.
Helmut SeidlChristian MüllerBernd FinkbeinerPublished in: CoRR (2019)
Keyphrases
- higher order
- first order logic
- game theory
- educational games
- game theoretic
- game playing
- nash equilibria
- computer games
- video games
- game play
- game development
- coalitional games
- game based learning
- serious games
- weighted majority
- quantifier elimination
- real time
- minority game
- game tree search
- online game
- nash equilibrium
- multiagent systems
- neural network