@misc{indiciaec2e4cc2eaf29,
  title = {Model Checking Games for the Quantitative mu-Calculus},
  author = {Diana Fischer and Erich Grädel and Lukasz Kaiser},
  year = {2008},
  url = {https://arxiv.org/abs/0802.2871},
  note = {Source identifier: 0802.2871}
}