DOI,IST REx ID,Research Group,Title of publication
10.1137/1.9781611973730.69,10796,KrCh,The value 1 problem under finite-memory strategies for concurrent mean-payoff games