Two papers of the MOVES group have been accepted at CONCUR 2025, the 36th International Conference on Concurrency Theory. It concerns the papers “Compositional Reasoning for Parametric Probabilistic Automata” by Hannah Mertens, Tim Quatmann, and Joost-Pieter Katoen, as well as “A Direct Reduction from Parity to Simple Stochastic Games” by Raphael Berthon, Joost-Pieter Katoen, and Zihan Zhou (NUS, Singapore).

The first paper presents an assume-guarantee framework for compositional reasoning about Segala’s probabilistic automata with parametric probabilistic transitions. The second paper presents a direct reduction from stochastic parity games to simple stochastic games.