TY  - RPRT
TI  - Sound Value Iteration for Simple Stochastic Games
AU  - Muqsit Azeem
AU  - Jan Kretinsky
AU  - Maximilian Weininger
PY  - 2026
UR  - https://arxiv.org/abs/2411.11549
ID  - 2411.11549
ER  -