_id,doi,title
1374,10.4230/LIPIcs.CSL.2013.181,Infinite-state games with finitary conditions