TY - RPRT TI - The Complexity of Concurrent Rational Synthesis AU - Rodica Condurache AU - Youssouf Oualhadj AU - Nicolas Troquard PY - 2018 UR - https://arxiv.org/abs/1707.06936 ID - 1707.06936 ER -