DOI,IST REx ID,Title of publication
10.1007/11672142_26,4551,Markov decision processes with multiple objectives
10.1007/11672142_42,4538,Strategy improvement and randomized subexponential algorithms for stochastic parity games