Compositional Solution of Mean Payoff Games by String Diagrams
Crossref DOI link: https://doi.org/10.1007/978-3-031-75778-5_20
Published Online: 2024-11-18
Published Print: 2025
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Watanabe, Kazuki
Eberhart, Clovis
Asada, Kazuyuki
Hasuo, Ichiro
Text and Data Mining valid from 2024-11-18
Version of Record valid from 2024-11-18
Chapter History
First Online: 18 November 2024