@misc{indiciaec33c391f3634,
  title = {Magnifying Lens Abstraction for Stochastic Games with Discounted and Long-run Average Objectives},
  author = {Krishnendu Chatterjee and Luca de Alfaro and Pritam Roy},
  year = {2011},
  url = {https://arxiv.org/abs/1107.2132},
  note = {Source identifier: 1107.2132}
}