_id,doi,title
10796,10.1137/1.9781611973730.69,The value 1 problem under finite-memory strategies for concurrent mean-payoff games