DOI,IST REx ID,Research Group,Title of publication
10.4230/LIPICS.CONCUR.2019.6,6889,KrCh,Combinations of Qualitative Winning for Stochastic Parity Games