_id,doi,title
4544,10.1137/1.9781611973068.23,Termination criteria for solving concurrent safety and reachability games