@inproceedings{cam-bai-mui-mci-icaps18,
  author    = {Alberto Camacho and
               Jorge A. Baier and
               Christian J. Muise and
               Sheila A. McIlraith},
  title     = {Finite {LTL} Synthesis as Planning},
  booktitle = {Proceedings of the Twenty-Eight International Conference on
Automated Planning and Scheduling ({ICAPS})},
  pages     = {29-38},
  year      = {2018},
  url_paper =
{http://www.cs.toronto.edu/~acamacho/papers/cam-bai-mui-mci-icaps18.pdf},
  keywords  = {LTL, planning}
}

{"_id":"2RFgwcJSM6EkTcEG8","bibbaseid":"camacho-baier-muise-mcilraith-finiteltlsynthesisasplanning-2018","downloads":46,"creationDate":"2018-01-30T14:38:33.263Z","title":"Finite LTL Synthesis as Planning","author_short":["Camacho, A.","Baier, J. A.","Muise, C. J.","McIlraith, S. A."],"year":2018,"bibtype":"inproceedings","biburl":"http://www.cs.toronto.edu/~sheila/publications/list.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Alberto"],"propositions":[],"lastnames":["Camacho"],"suffixes":[]},{"firstnames":["Jorge","A."],"propositions":[],"lastnames":["Baier"],"suffixes":[]},{"firstnames":["Christian","J."],"propositions":[],"lastnames":["Muise"],"suffixes":[]},{"firstnames":["Sheila","A."],"propositions":[],"lastnames":["McIlraith"],"suffixes":[]}],"title":"Finite LTL Synthesis as Planning","booktitle":"Proceedings of the Twenty-Eight International Conference on Automated Planning and Scheduling (ICAPS)","pages":"29-38","year":"2018","url_paper":"http://www.cs.toronto.edu/~acamacho/papers/cam-bai-mui-mci-icaps18.pdf","keywords":"LTL, planning","bibtex":"@inproceedings{cam-bai-mui-mci-icaps18,\n author = {Alberto Camacho and\n Jorge A. Baier and\n Christian J. Muise and\n Sheila A. McIlraith},\n title = {Finite {LTL} Synthesis as Planning},\n booktitle = {Proceedings of the Twenty-Eight International Conference on\nAutomated Planning and Scheduling ({ICAPS})},\n pages = {29-38},\n year = {2018},\n url_paper =\n{http://www.cs.toronto.edu/~acamacho/papers/cam-bai-mui-mci-icaps18.pdf},\n keywords = {LTL, planning}\n}\n\n","author_short":["Camacho, A.","Baier, J. A.","Muise, C. J.","McIlraith, S. A."],"key":"cam-bai-mui-mci-icaps18","id":"cam-bai-mui-mci-icaps18","bibbaseid":"camacho-baier-muise-mcilraith-finiteltlsynthesisasplanning-2018","role":"author","urls":{" paper":"http://www.cs.toronto.edu/~acamacho/papers/cam-bai-mui-mci-icaps18.pdf"},"keyword":["LTL","planning"],"metadata":{"authorlinks":{"camacho, a":"http://www.albertocamacho.com/","mcilraith, s":"https://www.cs.toronto.edu/~sheila/publications/","muise, c":"https://haz.ca/academic-publications.html"}},"downloads":46,"html":""},"search_terms":["finite","ltl","synthesis","planning","camacho","baier","muise","mcilraith"],"keywords":["ltl","planning"],"authorIDs":["CBLksFoEERH5GZA5T","GvvCbq8Y4n9QqTySC","f4LpZ8LcDrvDyGuip"],"dataSources":["2LLKDfkxMDdABm58M","euD7cPywCk5gX9zDY","DprwGzu9heN5GXy3u","hqqbBi3M3BaCY6ivH","optQ3PYGE2PxhriFJ","sg6yZ29Z2xB5xP79R","T3oedZczBnZ2Y6GvJ","jHtiDocCziH83gWEu","uKBTF27RvvtN9Ryxw","Jwuh2BtHasSBPk4uf","FAyKHaeKDYM4aGJk2"]}