Krishnendu Chatterjee, Rasmus Ibsen-Jensen. The Value 1 Problem Under Finite-memory Strategies for Concurrent Mean-payoff Games. In Piotr Indyk, editor, Proceedings of the Twenty-Sixth Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2015, San Diego, CA, USA, January 4-6, 2015. pages 1018-1029, SIAM, 2015. [doi]