Explaining Non-bisimilarity in a Coalgebraic Approach: Games and Distinguishing Formulas.
Barbara KönigChristina Mika-MichalskiLutz SchröderPublished in: CMCS (2020)
Keyphrases
- video games
- game theory
- educational games
- serious games
- game playing
- mathematical formulas
- computer games
- nash equilibrium
- game theoretic
- online game
- nash equilibria
- two player games
- perfect information
- coalitional games
- imperfect information
- game players
- turn taking
- games played
- database
- game development
- digital games
- game design
- lower bound
- knowledge base