DOI,IST REx ID,Research Group,Title of publication
10.1109/LICS56636.2023.10175771,13967,KrCh,Stopping criteria for value iteration on stochastic games with quantitative objectives