Enforcing QVT-R with mu-Calculus and Games.
Julian C. BradfieldPerdita StevensPublished in: FASE (2013)
Keyphrases
- nash equilibria
- computer games
- online game
- game theory
- video games
- learning agents
- educational games
- weighted majority
- game design
- human computation
- game theoretic
- imperfect information
- game development
- development environment
- nash equilibrium
- formal language
- pure nash equilibria
- algebraic structure
- neural network
- stochastic games
- global consistency
- game playing
- game play
- decision problems
- learning algorithm