DOI,IST REx ID,Title of publication
10.1109/QEST.2006.48,4552,Strategy improvement for concurrent reachability games