DOI,IST REx ID,Research Group,Title of publication
10.4230/LIPICS.CSL.2017.18,6519,KrCh,Improved set-based symbolic algorithms for parity games