Stopping Criteria for Value Iteration on Stochastic Games with Quantitative Objectives.

Jan Kretnsk, Tobias Meggendorfer, Maximilian Weininger

Browse the full LICS paper archive.