@inproceedings{DBLP:conf/aaai/AminofGR23,
 author = {Benjamin Aminof and
Giuseppe {De Giacomo} and
Sasha Rubin},
 booktitle = {{AAAI}},
 keywords = {A-level,WP5,Outside-Europe},
 pages = {6228--6235},
 publisher = {{AAAI} Press},
 title = {Reactive Synthesis of Dominant Strategies},
 year = {2023}
}

{"_id":"Zx27ydnkKMkzH7DNx","bibbaseid":"aminof-degiacomo-rubin-reactivesynthesisofdominantstrategies-2023","author_short":["Aminof, B.","De Giacomo, G.","Rubin, S."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Benjamin"],"propositions":[],"lastnames":["Aminof"],"suffixes":[]},{"firstnames":["Giuseppe"],"propositions":[],"lastnames":["De Giacomo"],"suffixes":[]},{"firstnames":["Sasha"],"propositions":[],"lastnames":["Rubin"],"suffixes":[]}],"booktitle":"AAAI","keywords":"A-level,WP5,Outside-Europe","pages":"6228–6235","publisher":"AAAI Press","title":"Reactive Synthesis of Dominant Strategies","year":"2023","bibtex":"@inproceedings{DBLP:conf/aaai/AminofGR23,\n author = {Benjamin Aminof and\nGiuseppe {De Giacomo} and\nSasha Rubin},\n booktitle = {{AAAI}},\n keywords = {A-level,WP5,Outside-Europe},\n pages = {6228--6235},\n publisher = {{AAAI} Press},\n title = {Reactive Synthesis of Dominant Strategies},\n year = {2023}\n}\n\n","author_short":["Aminof, B.","De Giacomo, G.","Rubin, S."],"key":"DBLP:conf/aaai/AminofGR23","id":"DBLP:conf/aaai/AminofGR23","bibbaseid":"aminof-degiacomo-rubin-reactivesynthesisofdominantstrategies-2023","role":"author","urls":{},"keyword":["A-level","WP5","Outside-Europe"],"metadata":{"authorlinks":{}},"downloads":1},"bibtype":"inproceedings","biburl":"https://raw.githubusercontent.com/whitemech/tailor-publications.github.io/master/tailor.bib","dataSources":["sTv84pxw4fgxhrWy3","yS7ttFGW6d5SoZgRH","wMCdMNmiucDu2pMmz","5fDj6rXeRevQyZND4","9fesATq77fFWtSPuB","TxReNv8mFMbHT3GnN","8kCRnmST9TKEYpeWt"],"keywords":["a-level","wp5","outside-europe"],"search_terms":["reactive","synthesis","dominant","strategies","aminof","de giacomo","rubin"],"title":"Reactive Synthesis of Dominant Strategies","year":2023,"downloads":1}