Finite LTL Synthesis with Environment Assumptions and Quality Measures. Camacho, A., Bienvenu, M., & McIlraith, S. A. In *Proceedings of the Sixteenth International Conference on Principles of Knowledge Representation and Reasoning (KR)*, pages 454-463, 2018.

Paper bibtex

Paper bibtex

@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}, }

Downloads: 0

{"_id":"3TYPSySeuhhYNwFTY","bibbaseid":"camacho-bienvenu-mcilraith-finiteltlsynthesiswithenvironmentassumptionsandqualitymeasures-2018","downloads":15,"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","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}\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"},"metadata":{"authorlinks":{"camacho, a":"http://www.albertocamacho.com/","mcilraith, s":"https://www.cs.utoronto.ca/"}},"html":""},"search_terms":["finite","ltl","synthesis","environment","assumptions","quality","measures","camacho","bienvenu","mcilraith"],"keywords":[],"authorIDs":["CBLksFoEERH5GZA5T","GvvCbq8Y4n9QqTySC"],"dataSources":["FAyKHaeKDYM4aGJk2","euD7cPywCk5gX9zDY","hqqbBi3M3BaCY6ivH","T3oedZczBnZ2Y6GvJ","uKBTF27RvvtN9Ryxw"]}