DOI,IST REx ID,Title of publication
10.1016/j.tcs.2006.07.032,4550,Games with secure equilibria
10.1007/11672142_26,4551,Markov decision processes with multiple objectives
10.1109/QEST.2006.48,4552,Strategy improvement for concurrent reachability games
10.1007/11817963_48,4574,Lazy shape analysis