@inproceedings{conf/aaai/AminofGR23,
  added-at = {2023-09-04T00:00:00.000+0200},
  author = {Aminof, Benjamin and Giacomo, Giuseppe De and Rubin, Sasha},
  biburl = {https://www.bibsonomy.org/bibtex/203dd086dfbec3eb444d6f0e2f7a56dd9/dblp},
  booktitle = {AAAI},
  crossref = {conf/aaai/2023},
  editor = {Williams, Brian and Chen, Yiling and Neville, Jennifer},
  ee = {https://doi.org/10.1609/aaai.v37i5.25767},
  interhash = {e72a54e74bed23a231bec8db01a6a160},
  intrahash = {03dd086dfbec3eb444d6f0e2f7a56dd9},
  isbn = {978-1-57735-880-0},
  keywords = {dblp},
  pages = {6228-6235},
  publisher = {AAAI Press},
  timestamp = {2024-04-09T18:07:47.000+0200},
  title = {Reactive Synthesis of Dominant Strategies.},
  url = {http://dblp.uni-trier.de/db/conf/aaai/aaai2023.html#AminofGR23},
  year = 2023
}

{"_id":"mCtbeuoHqt9s9hpaW","bibbaseid":"aminof-giacomo-rubin-reactivesynthesisofdominantstrategies-2023","author_short":["Aminof, B.","Giacomo, G. D.","Rubin, S."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","added-at":"2023-09-04T00:00:00.000+0200","author":[{"propositions":[],"lastnames":["Aminof"],"firstnames":["Benjamin"],"suffixes":[]},{"propositions":[],"lastnames":["Giacomo"],"firstnames":["Giuseppe","De"],"suffixes":[]},{"propositions":[],"lastnames":["Rubin"],"firstnames":["Sasha"],"suffixes":[]}],"biburl":"https://www.bibsonomy.org/bibtex/203dd086dfbec3eb444d6f0e2f7a56dd9/dblp","booktitle":"AAAI","crossref":"conf/aaai/2023","editor":[{"propositions":[],"lastnames":["Williams"],"firstnames":["Brian"],"suffixes":[]},{"propositions":[],"lastnames":["Chen"],"firstnames":["Yiling"],"suffixes":[]},{"propositions":[],"lastnames":["Neville"],"firstnames":["Jennifer"],"suffixes":[]}],"ee":"https://doi.org/10.1609/aaai.v37i5.25767","interhash":"e72a54e74bed23a231bec8db01a6a160","intrahash":"03dd086dfbec3eb444d6f0e2f7a56dd9","isbn":"978-1-57735-880-0","keywords":"dblp","pages":"6228-6235","publisher":"AAAI Press","timestamp":"2024-04-09T18:07:47.000+0200","title":"Reactive Synthesis of Dominant Strategies.","url":"http://dblp.uni-trier.de/db/conf/aaai/aaai2023.html#AminofGR23","year":"2023","bibtex":"@inproceedings{conf/aaai/AminofGR23,\n added-at = {2023-09-04T00:00:00.000+0200},\n author = {Aminof, Benjamin and Giacomo, Giuseppe De and Rubin, Sasha},\n biburl = {https://www.bibsonomy.org/bibtex/203dd086dfbec3eb444d6f0e2f7a56dd9/dblp},\n booktitle = {AAAI},\n crossref = {conf/aaai/2023},\n editor = {Williams, Brian and Chen, Yiling and Neville, Jennifer},\n ee = {https://doi.org/10.1609/aaai.v37i5.25767},\n interhash = {e72a54e74bed23a231bec8db01a6a160},\n intrahash = {03dd086dfbec3eb444d6f0e2f7a56dd9},\n isbn = {978-1-57735-880-0},\n keywords = {dblp},\n pages = {6228-6235},\n publisher = {AAAI Press},\n timestamp = {2024-04-09T18:07:47.000+0200},\n title = {Reactive Synthesis of Dominant Strategies.},\n url = {http://dblp.uni-trier.de/db/conf/aaai/aaai2023.html#AminofGR23},\n year = 2023\n}\n\n","author_short":["Aminof, B.","Giacomo, G. D.","Rubin, S."],"editor_short":["Williams, B.","Chen, Y.","Neville, J."],"key":"conf/aaai/AminofGR23","id":"conf/aaai/AminofGR23","bibbaseid":"aminof-giacomo-rubin-reactivesynthesisofdominantstrategies-2023","role":"author","urls":{"Link":"https://doi.org/10.1609/aaai.v37i5.25767","Paper":"http://dblp.uni-trier.de/db/conf/aaai/aaai2023.html#AminofGR23"},"keyword":["dblp"],"metadata":{"authorlinks":{}},"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bib/author/Rubin?items=1000","dataSources":["74JLffDBQLjrojguT"],"keywords":["dblp"],"search_terms":["reactive","synthesis","dominant","strategies","aminof","giacomo","rubin"],"title":"Reactive Synthesis of Dominant Strategies.","year":2023}