h1

h2

h3

h4

h5
h6
%0 Book Section
%A Berthon, Raphael Jean
%A Katoen, Joost-Pieter
%A Zhou, Zihan
%T A Direct Reduction from Stochastic Parity Games to Simple Stochastic Games
%V 348
%C Wadern
%I Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH
%M RWTH-2025-09775
%B Leibniz international proceedings in informatics
%P 9:1-9:21
%D 2025
%< 36th International Conference on Concurrency Theory : CONCUR 2025, August 26-29, 2025, Aarhus, Denmark / edited by Patricia Bouyer, Jaco van de Pol
%B 36. International Conference on Concurrency Theory
%C 25 Aug 2025 - 30 Aug 2025, Aarhus (Denmark)
Y2 25 Aug 2025 - 30 Aug 2025
M2 Aarhus, Denmark
%K Theory of computation → Probabilistic computation (Other)
%K parity (Other)
%K reduction (Other)
%K stochastic games (Other)
%F PUB:(DE-HGF)7 ; PUB:(DE-HGF)8
%9 Contribution to a bookContribution to a conference proceedings
%U <Go to ISI:>//WOS:001570540800009
%R 10.4230/LIPICS.CONCUR.2025.9
%U https://publications.rwth-aachen.de/record/1021957