@inproceedings{cam-bie-mci-kr18,
  author    = {Alberto Camacho and
               Meghyn Bienvenu and
               Sheila A. McIlraith},
  title     = {Finite {LTL} Synthesis with Environment Assumptions and Quality Measures},
  booktitle = {Proceedings of the Sixteenth International Conference on Principles of Knowledge Representation and Reasoning ({KR})},
  pages     = {454-463},
  year      = {2018},
  url_paper = {http://www.cs.toronto.edu/~acamacho/papers/cam-bie-mci-kr18.pdf},
  keywords  = {LTL}
}

{"_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":"https://www.cs.toronto.edu/~sheila/publications/list.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Alberto"],"propositions":[],"lastnames":["Camacho"],"suffixes":[]},{"firstnames":["Meghyn"],"propositions":[],"lastnames":["Bienvenu"],"suffixes":[]},{"firstnames":["Sheila","A."],"propositions":[],"lastnames":["McIlraith"],"suffixes":[]}],"title":"Finite LTL Synthesis with Environment Assumptions and Quality Measures","booktitle":"Proceedings of the Sixteenth International Conference on Principles of Knowledge Representation and Reasoning (KR)","pages":"454-463","year":"2018","url_paper":"http://www.cs.toronto.edu/~acamacho/papers/cam-bie-mci-kr18.pdf","keywords":"LTL","bibtex":"@inproceedings{cam-bie-mci-kr18,\n author = {Alberto Camacho and\n Meghyn Bienvenu and\n Sheila A. McIlraith},\n title = {Finite {LTL} Synthesis with Environment Assumptions and Quality Measures},\n booktitle = {Proceedings of the Sixteenth International Conference on Principles of Knowledge Representation and Reasoning ({KR})},\n pages = {454-463},\n year = {2018},\n url_paper = {http://www.cs.toronto.edu/~acamacho/papers/cam-bie-mci-kr18.pdf},\n keywords = {LTL}\n}\n\n","author_short":["Camacho, A.","Bienvenu, M.","McIlraith, S. A."],"key":"cam-bie-mci-kr18","id":"cam-bie-mci-kr18","bibbaseid":"camacho-bienvenu-mcilraith-finiteltlsynthesiswithenvironmentassumptionsandqualitymeasures-2018","role":"author","urls":{" paper":"http://www.cs.toronto.edu/~acamacho/papers/cam-bie-mci-kr18.pdf"},"keyword":["LTL"],"metadata":{"authorlinks":{"camacho, a":"http://www.albertocamacho.com/","mcilraith, s":"https://www.cs.toronto.edu/~sheila/publications/index.html"}},"downloads":18},"search_terms":["finite","ltl","synthesis","environment","assumptions","quality","measures","camacho","bienvenu","mcilraith"],"keywords":["ltl"],"authorIDs":["CBLksFoEERH5GZA5T","GvvCbq8Y4n9QqTySC"],"dataSources":["FAyKHaeKDYM4aGJk2","euD7cPywCk5gX9zDY","hqqbBi3M3BaCY6ivH","T3oedZczBnZ2Y6GvJ","uKBTF27RvvtN9Ryxw","Jwuh2BtHasSBPk4uf"]}