h1

001021957 001__ 1021957
001021957 005__ 20260224144836.0
001021957 0247_ $$2ISBN$$a978-3-95977-389-8
001021957 0247_ $$2SCOPUS$$aSCOPUS:2-s2.0-105013849177
001021957 0247_ $$2WOS$$aWOS:001570540800009
001021957 0247_ $$2datacite_doi$$a10.18154/RWTH-2025-09775
001021957 0247_ $$2doi$$a10.4230/LIPICS.CONCUR.2025.9
001021957 037__ $$aRWTH-2025-09775
001021957 041__ $$aEnglish
001021957 1001_ $$0P:(DE-82)IDM05601$$aBerthon, Raphael Jean$$b0$$eCorresponding author$$urwth
001021957 1112_ $$a36. International Conference on Concurrency Theory$$cAarhus$$d2025-08-25 - 2025-08-30$$gCONCUR 2025$$wDenmark
001021957 245__ $$aA Direct Reduction from Stochastic Parity Games to Simple Stochastic Games$$honline
001021957 260__ $$aWadern$$bSchloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH$$c2025
001021957 29510 $$a36th International Conference on Concurrency Theory : CONCUR 2025, August 26-29, 2025, Aarhus, Denmark / edited by Patricia Bouyer, Jaco van de Pol
001021957 300__ $$a9:1-9:21
001021957 3367_ $$07$$2EndNote$$aBook Section
001021957 3367_ $$0PUB:(DE-HGF)7$$2PUB:(DE-HGF)$$aContribution to a book$$bcontb$$mcontb
001021957 3367_ $$0PUB:(DE-HGF)8$$2PUB:(DE-HGF)$$aContribution to a conference proceedings
001021957 3367_ $$2BibTeX$$aINBOOK
001021957 3367_ $$2DRIVER$$abookPart
001021957 3367_ $$2DataCite$$aOutput Types/Book chapter
001021957 3367_ $$2ORCID$$aBOOK_CHAPTER
001021957 4900_ $$aLeibniz international proceedings in informatics$$v348
001021957 588__ $$aDataset connected to , , , DataCite
001021957 591__ $$aGermany
001021957 591__ $$aSingapore
001021957 650_7 $$2Other$$aTheory of computation → Probabilistic computation
001021957 650_7 $$2Other$$aparity
001021957 650_7 $$2Other$$areduction
001021957 650_7 $$2Other$$astochastic games
001021957 7001_ $$0P:(DE-82)IDM00048$$aKatoen, Joost-Pieter$$b1$$eCorresponding author$$urwth
001021957 7001_ $$00009-0009-7406-6663$$aZhou, Zihan$$b2$$eCorresponding author
001021957 8564_ $$uhttps://publications.rwth-aachen.de/record/1021957/files/1021957.pdf$$yOpenAccess
001021957 909CO $$ooai:publications.rwth-aachen.de:1021957$$popenaire$$popen_access$$pdriver$$pdnbdelivery$$pVDB
001021957 9101_ $$0I:(DE-588b)36225-6$$6P:(DE-82)IDM05601$$aRWTH Aachen$$b0$$kRWTH
001021957 9101_ $$0I:(DE-588b)36225-6$$6P:(DE-82)IDM00048$$aRWTH Aachen$$b1$$kRWTH
001021957 9141_ $$y2025
001021957 9151_ $$0StatID:(DE-HGF)0031$$2StatID$$aPeer reviewed article$$x0
001021957 915__ $$0LIC:(DE-HGF)CCBY4$$2HGFVOC$$aCreative Commons Attribution CC BY 4.0
001021957 915__ $$0StatID:(DE-HGF)0510$$2StatID$$aOpenAccess
001021957 9201_ $$0I:(DE-82)121310_20140620$$k121310$$lLehrstuhl für Softwaremodellierung und Verifikation (Informatik 2)$$x0
001021957 9201_ $$0I:(DE-82)120000_20140620$$k120000$$lFachgruppe Informatik$$x1
001021957 961__ $$c2025-11-19T10:11:51.648179$$x2025-11-19T10:11:51.648179$$z2025-11-19T10:11:51.648179
001021957 9801_ $$aFullTexts
001021957 980__ $$aI:(DE-82)120000_20140620
001021957 980__ $$aI:(DE-82)121310_20140620
001021957 980__ $$aUNRESTRICTED
001021957 980__ $$aVDB
001021957 980__ $$acontb
001021957 980__ $$acontrib