DOI,IST REx ID,Research Group,Title of publication
10.1145/1614431.1614432,3870,KrCh,Finitary winning in omega-regular games