_id,doi,title
3870,10.1145/1614431.1614432,Finitary winning in omega-regular games