_id,doi,title
524,10.1016/j.ic.2015.03.009,Qualitative analysis of concurrent mean payoff games