Explaining Non-Bisimilarity in a Coalgebraic Approach: Games and Distinguishing Formulas.

Barbara König Christina Mika-Michalski Lutz Schröder

Published in: CoRR (2020)

Keyphrases

video games
game theory
educational games
game playing
computer games
nash equilibria
coalitional games
game play
game theoretic
weighted majority
knowledge base
game players
cooperative
imperfect information
game tree search
nash equilibrium
learning process