DOI,IST REx ID,Title of publication
10.5555/982792.982808,4558,Quantitative stochastic parity games