DOI,IST REx ID,Research Group,Title of publication
10.4230/LIPIcs.CSL.2013.181,1374,KrCh,Infinite-state games with finitary conditions