TY - RPRT TI - Reducing Stochastic Games to Semidefinite Program Feasibility AU - Manuel Bodirsky AU - Georg Loho AU - Mateusz Skomra PY - 2025 UR - https://arxiv.org/abs/2411.09646 ID - 2411.09646 ER -