DOI,IST REx ID,Research Group,Title of publication
10.1109/LICS.2015.34,1661,KrCh,Improved algorithms for one-pair and k-pair Streett objectives