DOI,IST REx ID,Title of publication
10.1137/1.9781611973068.23,4544,Termination criteria for solving concurrent safety and reachability games