Mean-Payoff Games with ω-Regular Specifications.
Thomas SteeplesJulian GutierrezMichael J. WooldridgePublished in: AAMAS (2021)
Keyphrases
- game theory
- nash equilibrium
- mixed strategy
- repeated games
- payoff functions
- nash equilibria
- game theoretic
- cooperative
- solution concepts
- video games
- long term
- imperfect information
- high level
- specification language
- formal specification
- game playing
- data sets
- delay insensitive
- perfect information
- learning agents
- computer games
- finite state machines
- educational games
- game development
- game play
- coalition structures
- learning games
- key features
- game players
- multi agent
- functional requirements
- leader follower
- pure nash equilibria
- game based learning