DOI,IST REx ID,Research Group,Title of publication
10.4230/LIPIcs.MFCS.2016.25,1068,KrCh,Conditionally optimal algorithms for generalized Büchi Games