TY  - RPRT
TI  - The Value 1 Problem Under Finite-memory Strategies for Concurrent Mean-payoff Games
AU  - Krishnendu Chatterjee
AU  - Rasmus Ibsen-Jensen
PY  - 2014
UR  - https://arxiv.org/abs/1409.6690
ID  - 1409.6690
ER  -