@misc{indiciae131140f53361, title = {Compositional Solution of Mean Payoff Games by String Diagrams}, author = {Kazuki Watanabe and Clovis Eberhart and Kazuyuki Asada and Ichiro Hasuo}, year = {2023}, url = {https://arxiv.org/abs/2307.08034}, note = {Source identifier: 2307.08034} }