Tootfinder

Opt-in global Mastodon full text search. Join the index!

@mpsgoettingen@academiccloud.social
2025-06-20 09:46:55

It may appear to be looking empty and quiet at the MPS Göttingen right now - but we have been bustling about and are very busy getting everything ready for our visitors at the Night of Science tomorrow! Care for a few sneak previews in today's thread?
@…
#ndwgoe

A view from street level of a five-story building, consisting of a two-story base and an off-set three-story upper part protruding from the base part towards the camera. Both parts feature many window fronts. The lower part of the building continues to the right out of the picture frame. There are a few steps and a wide ramp leading up to the building, to the left and right of a fountain in front of the entrance. Parts of a landscaped garden frame the steps and ramp on each side. Above the entr…
A picture taken from an elevated viewpoint from inside a building looking back towards the building's entrance area. There are tables to both sides of a closed large glass entrance door and chairs arranged behind the tables that face the corridor created by the tables. Closer to the image front plane, there is a large ladder next to a staple of additional chairs. Off in the far background to the right, more tables mark the areas where stands are being set up. In the front left image corner, red…
@arXiv_csLO_bot@mastoxiv.page
2025-05-29 10:11:44

This arxiv.org/abs/2406.17240 has been replaced.
initial toot: 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…