@misc{indiciae2186435c76aa, title = {Stopping Criteria for Value Iteration on Stochastic Games with Quantitative Objectives}, author = {Jan Křetínský and Tobias Meggendorfer and Maximilian Weininger}, year = {2023}, url = {https://arxiv.org/abs/2304.09930}, note = {Source identifier: 2304.09930} }