Mean-Payoff Games with ω-Regular Specifications.
Julian GutierrezThomas SteeplesMichael J. WooldridgePublished in: Games (2022)
Keyphrases
- game theory
- nash equilibrium
- repeated games
- payoff functions
- mixed strategy
- game theoretic
- video games
- cooperative
- long term
- learning games
- computer games
- resource allocation
- game tree search
- game play
- nash equilibria
- specification language
- online game
- stochastic games
- perfect information
- control flow
- game tree
- high level
- delay insensitive
- game playing
- formal specification
- educational games
- asynchronous circuits
- reactive systems
- written in natural language
- functional requirements
- human computation
- coalitional games
- game development
- game based learning
- game design
- decision problems
- learning process
- multi agent systems
- multi agent