TY - RPRT TI - A Direct Reduction from Stochastic Parity Games to Simple Stochastic Games AU - Raphaƫl Berthon AU - Joost-Pieter Katoen AU - Zihan Zhou PY - 2025 UR - https://arxiv.org/abs/2506.06223 ID - 2506.06223 ER -