Best-Effort Synthesis: Doing Your Best Is Not Harder Than Giving Up. Benjamin Aminof, G. D. In Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence (IJCAI), 2021. To appear.bibtex @inproceedings{ijcai2021adr,
author = {Benjamin Aminof, Giuseppe {De Giacomo}, Sasha Rubin},
title = {Best-Effort Synthesis: Doing Your Best Is Not Harder Than Giving Up},
booktitle = {Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence ({IJCAI})},
year = {2021},
% url_paper = {https://whitemech.github.io/papers/2021/ijcai2021adr.pdf},
bibbase_note = {<span style="color: red">To appear.</span>},
}
Downloads: 0
{"_id":"TvgsgnaFT67Fmyqa2","bibbaseid":"benjaminaminof-besteffortsynthesisdoingyourbestisnotharderthangivingup-2021","author_short":["Benjamin Aminof, G. D."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"propositions":[],"lastnames":["Benjamin","Aminof"],"firstnames":["Giuseppe","De Giacomo"],"suffixes":[]}],"title":"Best-Effort Synthesis: Doing Your Best Is Not Harder Than Giving Up","booktitle":"Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence (IJCAI)","year":"2021","bibbase_note":"<span style=\"color: red\">To appear.</span>","bibtex":"@inproceedings{ijcai2021adr,\n author = {Benjamin Aminof, Giuseppe {De Giacomo}, Sasha Rubin},\n title = {Best-Effort Synthesis: Doing Your Best Is Not Harder Than Giving Up},\n booktitle = {Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence ({IJCAI})},\n year = {2021},\n % url_paper = {https://whitemech.github.io/papers/2021/ijcai2021adr.pdf},\n bibbase_note = {<span style=\"color: red\">To appear.</span>},\n}\n","author_short":["Benjamin Aminof, G. D."],"key":"ijcai2021adr","id":"ijcai2021adr","bibbaseid":"benjaminaminof-besteffortsynthesisdoingyourbestisnotharderthangivingup-2021","role":"author","urls":{},"metadata":{"authorlinks":{}},"html":""},"bibtype":"inproceedings","biburl":"http://whitemech.github.io/publications.bib","dataSources":["8kCRnmST9TKEYpeWt"],"keywords":[],"search_terms":["best","effort","synthesis","doing","best","harder","giving","benjamin aminof"],"title":"Best-Effort Synthesis: Doing Your Best Is Not Harder Than Giving Up","year":2021}