@misc{indiciae85e51c62fc4b,
  title = {A Theory of Formal Synthesis via Inductive Learning},
  author = {Susmit Jha and Sanjit A. Seshia},
  year = {2016},
  url = {https://arxiv.org/abs/1505.03953},
  note = {Source identifier: 1505.03953}
}