DOI,IST REx ID,Title of publication
10.1007/11672142_42,4538,Strategy improvement and randomized subexponential algorithms for stochastic parity games