_id,doi,title
13967,10.1109/LICS56636.2023.10175771,Stopping criteria for value iteration on stochastic games with quantitative objectives