@misc{azzopardi2023ltl,
      title={LTL Synthesis on Infinite-State Arenas defined by Programs}, 
      author={Azzopardi, Shaun and Piterman, Nir and Schneider, Gerardo and di Stefano, Luca},
      year={2023},
      eprint={2307.09776},
      archivePrefix={arXiv},
      primaryClass={cs.LO},
      booktitle={arXiv},
      url={https://arxiv.org/abs/2307.09776},
      doi={10.48550/arXiv.2307.09776}
}

{"_id":"phn6CvwaxgnQbnXNp","bibbaseid":"azzopardi-piterman-schneider-distefano-ltlsynthesisoninfinitestatearenasdefinedbyprograms-2023","author_short":["Azzopardi, S.","Piterman, N.","Schneider, G.","di Stefano, L."],"bibdata":{"bibtype":"misc","type":"misc","title":"LTL Synthesis on Infinite-State Arenas defined by Programs","author":[{"propositions":[],"lastnames":["Azzopardi"],"firstnames":["Shaun"],"suffixes":[]},{"propositions":[],"lastnames":["Piterman"],"firstnames":["Nir"],"suffixes":[]},{"propositions":[],"lastnames":["Schneider"],"firstnames":["Gerardo"],"suffixes":[]},{"propositions":["di"],"lastnames":["Stefano"],"firstnames":["Luca"],"suffixes":[]}],"year":"2023","eprint":"2307.09776","archiveprefix":"arXiv","primaryclass":"cs.LO","booktitle":"arXiv","url":"https://arxiv.org/abs/2307.09776","doi":"10.48550/arXiv.2307.09776","bibtex":"@misc{azzopardi2023ltl,\n title={LTL Synthesis on Infinite-State Arenas defined by Programs}, \n author={Azzopardi, Shaun and Piterman, Nir and Schneider, Gerardo and di Stefano, Luca},\n year={2023},\n eprint={2307.09776},\n archivePrefix={arXiv},\n primaryClass={cs.LO},\n booktitle={arXiv},\n url={https://arxiv.org/abs/2307.09776},\n doi={10.48550/arXiv.2307.09776}\n}\n\n","author_short":["Azzopardi, S.","Piterman, N.","Schneider, G.","di Stefano, L."],"key":"azzopardi2023ltl","id":"azzopardi2023ltl","bibbaseid":"azzopardi-piterman-schneider-distefano-ltlsynthesisoninfinitestatearenasdefinedbyprograms-2023","role":"author","urls":{"Paper":"https://arxiv.org/abs/2307.09776"},"metadata":{"authorlinks":{}},"downloads":4},"bibtype":"misc","biburl":"https://raw.githubusercontent.com/shaunazzopardi/shaunazzopardi.github.io/master/pubs.bib","dataSources":["mtLriRvYqkiErXwmg"],"keywords":[],"search_terms":["ltl","synthesis","infinite","state","arenas","defined","programs","azzopardi","piterman","schneider","di stefano"],"title":"LTL Synthesis on Infinite-State Arenas defined by Programs","year":2023,"downloads":4}