Graded Monads and Behavioural Equivalence Games.
Harsh BeoharChase FordBarbara KönigStefan MiliusLutz SchröderPublished in: CoRR (2022)
Keyphrases
- video games
- game playing
- game theory
- nash equilibria
- game theoretic
- computer games
- nash equilibrium
- game design
- learning games
- learning agents
- weighted majority
- educational games
- equivalence relation
- coalitional games
- human computation
- leader follower
- data sets
- alternating time temporal logic
- general game playing
- imperfect information
- digital games
- case study