TY  - RPRT
TI  - Pareto Fronts for Compositionally Solving String Diagrams of Parity Games
AU  - Kazuki Watanabe
PY  - 2025
UR  - https://arxiv.org/abs/2406.17240
ID  - 2406.17240
ER  -