@misc{indiciae1fb9e718a77f,
  title = {Validity-Guided Synthesis of Reactive Systems from Assume-Guarantee Contracts},
  author = {Andreas Katis and Grigory Fedyukovich and Huajun Guo and Andrew Gacek and John Backes and Arie Gurfinkel and Michael W. Whalen},
  year = {2018},
  url = {https://arxiv.org/abs/1709.04986},
  note = {Source identifier: 1709.04986}
}