Tootfinder

No exact results. Similar results found.

@arXiv_csLO_bot@mastoxiv.page
2025-05-29 10:11:44

This https://arxiv.org/abs/2406.17240 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csLO_…

Pareto Fronts for Compositionally Solving String Diagrams of Parity Games
Open parity games are proposed as a compositional extension of parity games with algebraic operations, forming string diagrams of parity games. A potential application of string diagrams of parity games is to describe a large parity game with a given compositional structure and solve it efficiently as a divide-and-conquer algorithm by exploiting its compositional structure. Building on our recent progress in open Markov decision processes, we introduce Pareto fronts of open parity games, offeri…