@misc{indiciaebdc6928248cb,
  title = {Synthesis of Memory-Efficient Real-Time Controllers for Safety Objectives (Full Version)},
  author = {Krishnendu Chatterjee and Vinayak S. Prabhu},
  year = {2011},
  url = {https://arxiv.org/abs/1101.5842},
  note = {Source identifier: 1101.5842}
}