DOI,IST REx ID,Research Group,Title of publication
10.1016/j.jcss.2012.12.001,2854,"KrCh,ToHe",Strategy improvement for concurrent reachability and turn based stochastic safety games