DOI,IST REx ID,Research Group,Title of publication
10.1109/lics65433.2025.00049,20688,KrCh,Stopping criteria for value iteration on concurrent stochastic reachability and safety games