@misc{indiciae058a210f15b6,
  title = {Diagnosis and Repair for Synthesis from Signal Temporal Logic Specifications},
  author = {Shromona Ghosh and Dorsa Sadigh and Pierluigi Nuzzo and Vasumathi Raman and Alexandre Donze and Alberto Sangiovanni-Vincentelli and S. Shankar Sastry and Sanjit A. Seshia},
  year = {2016},
  url = {https://arxiv.org/abs/1602.01883},
  note = {Source identifier: 1602.01883}
}