Sound Value Iteration for Simple Stochastic Games - Azeem, Muqsit; Kretinsky, Jan; Weininger, Maximilian (Electronic Proceedings in Theoretical Computer Science, 2025)