@misc{indiciae891c89a2a267,
  title = {Timed Parity Games: Complexity and Robustness},
  author = {Krishnendu Chatterjee and Thomas A. Henzinger and Vinayak S. Prabhu},
  year = {2011},
  doi = {10.2168/lmcs-7(4:8)2011},
  url = {https://arxiv.org/abs/1011.0688},
  note = {Source identifier: 1011.0688}
}