TY - RPRT TI - Stopping Criteria for Value Iteration on Stochastic Games with Quantitative Objectives AU - Jan Křetínský AU - Tobias Meggendorfer AU - Maximilian Weininger PY - 2023 UR - https://arxiv.org/abs/2304.09930 ID - 2304.09930 ER -