Compositional Solution of Mean Payoff Games by String Diagrams.

Kazuki Watanabe Clovis Eberhart Kazuyuki Asada Ichiro Hasuo

Published in: CoRR (2023)

Keyphrases

game theory
nash equilibrium
mathematical model
closed form
linear equations
data structure
pattern matching
video games
game design
databases
cooperative
search algorithm
integer programming
game playing
nash equilibria