TY  - RPRT
TI  - Optimal Strategy Synthesis for Request-Response Games
AU  - Florian Horn
AU  - Wolfgang Thomas
AU  - Nico Wallmeier
AU  - Martin Zimmermann
PY  - 2014
UR  - https://arxiv.org/abs/1406.4648
ID  - 1406.4648
ER  -