@misc{indiciae685f1c0eb307,
  title = {Quantitative Synthesis for Concurrent Programs},
  author = {Pavol Cerny and Krishnendu Chatterjee and Thomas Henzinger and Arjun Radhakrishna and Rohit Singh},
  year = {2011},
  url = {https://arxiv.org/abs/1104.4306},
  note = {Source identifier: 1104.4306}
}