@misc{azzopardi2021incorporating,
      title={Incorporating Monitors in Reactive Synthesis without Paying the Price}, 
      author={Shaun Azzopardi and Nir Piterman and Gerardo Schneider},
      year={2021},
      eprint={2107.00929},
      archivePrefix={arXiv},
      primaryClass={cs.LO},
      booktitle={arXiv},
      url={https://arxiv.org/abs/2107.00929}
}

{"_id":"9wdCTAXvxbiZ8MPAK","bibbaseid":"azzopardi-piterman-schneider-incorporatingmonitorsinreactivesynthesiswithoutpayingtheprice-2021","author_short":["Azzopardi, S.","Piterman, N.","Schneider, G."],"bibdata":{"bibtype":"misc","type":"misc","title":"Incorporating Monitors in Reactive Synthesis without Paying the Price","author":[{"firstnames":["Shaun"],"propositions":[],"lastnames":["Azzopardi"],"suffixes":[]},{"firstnames":["Nir"],"propositions":[],"lastnames":["Piterman"],"suffixes":[]},{"firstnames":["Gerardo"],"propositions":[],"lastnames":["Schneider"],"suffixes":[]}],"year":"2021","eprint":"2107.00929","archiveprefix":"arXiv","primaryclass":"cs.LO","booktitle":"arXiv","url":"https://arxiv.org/abs/2107.00929","bibtex":"@misc{azzopardi2021incorporating,\n title={Incorporating Monitors in Reactive Synthesis without Paying the Price}, \n author={Shaun Azzopardi and Nir Piterman and Gerardo Schneider},\n year={2021},\n eprint={2107.00929},\n archivePrefix={arXiv},\n primaryClass={cs.LO},\n booktitle={arXiv},\n url={https://arxiv.org/abs/2107.00929}\n}\n\n","author_short":["Azzopardi, S.","Piterman, N.","Schneider, G."],"key":"azzopardi2021incorporating","id":"azzopardi2021incorporating","bibbaseid":"azzopardi-piterman-schneider-incorporatingmonitorsinreactivesynthesiswithoutpayingtheprice-2021","role":"author","urls":{"Paper":"https://arxiv.org/abs/2107.00929"},"metadata":{"authorlinks":{}},"downloads":2},"bibtype":"misc","biburl":"https://raw.githubusercontent.com/shaunazzopardi/shaunazzopardi.github.io/master/pubs.bib","dataSources":["mtLriRvYqkiErXwmg","ec7btnN2RJ3DQyXEw","dBCbAowrXBj8Z9xpg"],"keywords":[],"search_terms":["incorporating","monitors","reactive","synthesis","without","paying","price","azzopardi","piterman","schneider"],"title":"Incorporating Monitors in Reactive Synthesis without Paying the Price","year":2021,"downloads":2}