@inproceedings{conf/kr/CamachoBM18,
  added-at = {2021-02-09T00:00:00.000+0100},
  author = {Camacho, Alberto and Bienvenu, Meghyn and McIlraith, Sheila A.},
  biburl = {https://www.bibsonomy.org/bibtex/2a8b4f9b6184e3b8f70af1dea953b2e1f/dblp},
  booktitle = {KR},
  crossref = {conf/kr/2018},
  editor = {Thielscher, Michael and Toni, Francesca and Wolter, Frank},
  ee = {https://aaai.org/ocs/index.php/KR/KR18/paper/view/18072},
  interhash = {ea30db37a81409e022dd0f2bc194ff51},
  intrahash = {a8b4f9b6184e3b8f70af1dea953b2e1f},
  isbn = {978-1-57735-803-9},
  keywords = {dblp},
  pages = {454-463},
  publisher = {AAAI Press},
  timestamp = {2024-04-09T23:54:05.000+0200},
  title = {Finite LTL Synthesis with Environment Assumptions and Quality Measures.},
  url = {http://dblp.uni-trier.de/db/conf/kr/kr2018.html#CamachoBM18},
  year = 2018
}

{"_id":"3TYPSySeuhhYNwFTY","bibbaseid":"camacho-bienvenu-mcilraith-finiteltlsynthesiswithenvironmentassumptionsandqualitymeasures-2018","downloads":18,"creationDate":"2018-09-14T23:11:28.153Z","title":"Finite LTL Synthesis with Environment Assumptions and Quality Measures.","author_short":["Camacho, A.","Bienvenu, M.","McIlraith, S. A."],"year":2018,"bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bib/author/Sheila McIlraith?items=1000","bibdata":{"bibtype":"inproceedings","type":"inproceedings","added-at":"2021-02-09T00:00:00.000+0100","author":[{"propositions":[],"lastnames":["Camacho"],"firstnames":["Alberto"],"suffixes":[]},{"propositions":[],"lastnames":["Bienvenu"],"firstnames":["Meghyn"],"suffixes":[]},{"propositions":[],"lastnames":["McIlraith"],"firstnames":["Sheila","A."],"suffixes":[]}],"biburl":"https://www.bibsonomy.org/bibtex/2a8b4f9b6184e3b8f70af1dea953b2e1f/dblp","booktitle":"KR","crossref":"conf/kr/2018","editor":[{"propositions":[],"lastnames":["Thielscher"],"firstnames":["Michael"],"suffixes":[]},{"propositions":[],"lastnames":["Toni"],"firstnames":["Francesca"],"suffixes":[]},{"propositions":[],"lastnames":["Wolter"],"firstnames":["Frank"],"suffixes":[]}],"ee":"https://aaai.org/ocs/index.php/KR/KR18/paper/view/18072","interhash":"ea30db37a81409e022dd0f2bc194ff51","intrahash":"a8b4f9b6184e3b8f70af1dea953b2e1f","isbn":"978-1-57735-803-9","keywords":"dblp","pages":"454-463","publisher":"AAAI Press","timestamp":"2024-04-09T23:54:05.000+0200","title":"Finite LTL Synthesis with Environment Assumptions and Quality Measures.","url":"http://dblp.uni-trier.de/db/conf/kr/kr2018.html#CamachoBM18","year":"2018","bibtex":"@inproceedings{conf/kr/CamachoBM18,\n added-at = {2021-02-09T00:00:00.000+0100},\n author = {Camacho, Alberto and Bienvenu, Meghyn and McIlraith, Sheila A.},\n biburl = {https://www.bibsonomy.org/bibtex/2a8b4f9b6184e3b8f70af1dea953b2e1f/dblp},\n booktitle = {KR},\n crossref = {conf/kr/2018},\n editor = {Thielscher, Michael and Toni, Francesca and Wolter, Frank},\n ee = {https://aaai.org/ocs/index.php/KR/KR18/paper/view/18072},\n interhash = {ea30db37a81409e022dd0f2bc194ff51},\n intrahash = {a8b4f9b6184e3b8f70af1dea953b2e1f},\n isbn = {978-1-57735-803-9},\n keywords = {dblp},\n pages = {454-463},\n publisher = {AAAI Press},\n timestamp = {2024-04-09T23:54:05.000+0200},\n title = {Finite LTL Synthesis with Environment Assumptions and Quality Measures.},\n url = {http://dblp.uni-trier.de/db/conf/kr/kr2018.html#CamachoBM18},\n year = 2018\n}\n\n","author_short":["Camacho, A.","Bienvenu, M.","McIlraith, S. A."],"editor_short":["Thielscher, M.","Toni, F.","Wolter, F."],"key":"conf/kr/CamachoBM18","id":"conf/kr/CamachoBM18","bibbaseid":"camacho-bienvenu-mcilraith-finiteltlsynthesiswithenvironmentassumptionsandqualitymeasures-2018","role":"author","urls":{"Link":"https://aaai.org/ocs/index.php/KR/KR18/paper/view/18072","Paper":"http://dblp.uni-trier.de/db/conf/kr/kr2018.html#CamachoBM18"},"keyword":["dblp"],"metadata":{"authorlinks":{"camacho, a":"http://www.albertocamacho.com/","mcilraith, s":"https://www.cs.toronto.edu/~sheila/preferences/"}},"downloads":18},"search_terms":["finite","ltl","synthesis","environment","assumptions","quality","measures","camacho","bienvenu","mcilraith"],"keywords":["dblp"],"authorIDs":["CBLksFoEERH5GZA5T","GvvCbq8Y4n9QqTySC"],"dataSources":["FAyKHaeKDYM4aGJk2","euD7cPywCk5gX9zDY","hqqbBi3M3BaCY6ivH","T3oedZczBnZ2Y6GvJ","uKBTF27RvvtN9Ryxw","Jwuh2BtHasSBPk4uf"]}