TY  - RPRT
TI  - Model Checking Games for the Quantitative mu-Calculus
AU  - Diana Fischer
AU  - Erich Grädel
AU  - Lukasz Kaiser
PY  - 2008
UR  - https://arxiv.org/abs/0802.2871
ID  - 0802.2871
ER  -