_id,doi,title
4549,10.1109/QEST.2006.11,Compositional quantitative reasoning
4550,10.1016/j.tcs.2006.07.032,Games with secure equilibria
4551,10.1007/11672142_26,Markov decision processes with multiple objectives
4552,10.1109/QEST.2006.48,Strategy improvement for concurrent reachability games