activity
20182026
most citedMonadic Second-Order Logic with Path-Measure Quantifier is Undecidable

3 citations · 3 across the 7 of their papers we have counts for

collaborators
Showing 2025Show all

1 paper · 1 filter

cs.GT2025

A Direct Reduction from Stochastic Parity Games to Simple Stochastic Games

Raphaël Berthon, Joost-Pieter Katoen, Zihan Zhou

Significant progress has been recently achieved in developing efficient solutions for simple stochastic games (SSGs), focusing on reachability objectives. While reductions from sto…