TY - RPRT TI - The surprizing complexity of generalized reachability games AU - Nathanaƫl Fijalkow AU - Florian Horn PY - 2012 UR - https://arxiv.org/abs/1010.2420 ID - 1010.2420 ER -