BibTeX record conf/aaai/BansalLTV20

download as .bib file

@inproceedings{DBLP:conf/aaai/BansalLTV20,
  author    = {Suguman Bansal and
               Yong Li and
               Lucas M. Tabajara and
               Moshe Y. Vardi},
  title     = {Hybrid Compositional Reasoning for Reactive Synthesis from Finite-Horizon
               Specifications},
  booktitle = {The Thirty-Fourth {AAAI} Conference on Artificial Intelligence, {AAAI}
               2020, The Thirty-Second Innovative Applications of Artificial Intelligence
               Conference, {IAAI} 2020, The Tenth {AAAI} Symposium on Educational
               Advances in Artificial Intelligence, {EAAI} 2020, New York, NY, USA,
               February 7-12, 2020},
  pages     = {9766--9774},
  publisher = {{AAAI} Press},
  year      = {2020},
  url       = {https://ojs.aaai.org/index.php/AAAI/article/view/6528},
  timestamp = {Mon, 07 Mar 2022 16:57:43 +0100},
  biburl    = {https://dblp.org/rec/conf/aaai/BansalLTV20.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics