@inproceedings{cam-tri-mui-bai-mci-aaai17,
  author    = {Alberto Camacho and
               Eleni Triantafillou and
               Christian J. Muise and
               Jorge A. Baier and
               Sheila A. McIlraith},
  title     = {Non-Deterministic Planning with Temporally Extended Goals:
{LTL} over Finite and Infinite Traces},
  booktitle = {Proceedings of the Thirty-First AAAI Conference on
Artificial Intelligence ({AAAI})},
  url_paper =
{http://www.cs.toronto.edu/~sheila/publications/cam-etal-aaai17.pdf},
  keywords  = {LTL, planning},
  pages     = {3716-3724},
  year      = {2017}
}

{"_id":"PX5aKh7G5xPJwp55K","bibbaseid":"camacho-triantafillou-muise-baier-mcilraith-nondeterministicplanningwithtemporallyextendedgoalsltloverfiniteandinfinitetraces-2017","downloads":31,"creationDate":"2017-03-04T21:09:27.884Z","title":"Non-Deterministic Planning with Temporally Extended Goals: LTL over Finite and Infinite Traces","author_short":["Camacho, A.","Triantafillou, E.","Muise, C. J.","Baier, J. A.","McIlraith, S. A."],"year":2017,"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":["Eleni"],"propositions":[],"lastnames":["Triantafillou"],"suffixes":[]},{"firstnames":["Christian","J."],"propositions":[],"lastnames":["Muise"],"suffixes":[]},{"firstnames":["Jorge","A."],"propositions":[],"lastnames":["Baier"],"suffixes":[]},{"firstnames":["Sheila","A."],"propositions":[],"lastnames":["McIlraith"],"suffixes":[]}],"title":"Non-Deterministic Planning with Temporally Extended Goals: LTL over Finite and Infinite Traces","booktitle":"Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence (AAAI)","url_paper":"http://www.cs.toronto.edu/~sheila/publications/cam-etal-aaai17.pdf","keywords":"LTL, planning","pages":"3716-3724","year":"2017","bibtex":"@inproceedings{cam-tri-mui-bai-mci-aaai17,\n author = {Alberto Camacho and\n Eleni Triantafillou and\n Christian J. Muise and\n Jorge A. Baier and\n Sheila A. McIlraith},\n title = {Non-Deterministic Planning with Temporally Extended Goals:\n{LTL} over Finite and Infinite Traces},\n booktitle = {Proceedings of the Thirty-First AAAI Conference on\nArtificial Intelligence ({AAAI})},\n url_paper =\n{http://www.cs.toronto.edu/~sheila/publications/cam-etal-aaai17.pdf},\n keywords = {LTL, planning},\n pages = {3716-3724},\n year = {2017}\n}\n\n","author_short":["Camacho, A.","Triantafillou, E.","Muise, C. J.","Baier, J. A.","McIlraith, S. A."],"key":"cam-tri-mui-bai-mci-aaai17","id":"cam-tri-mui-bai-mci-aaai17","bibbaseid":"camacho-triantafillou-muise-baier-mcilraith-nondeterministicplanningwithtemporallyextendedgoalsltloverfiniteandinfinitetraces-2017","role":"author","urls":{" paper":"http://www.cs.toronto.edu/~sheila/publications/cam-etal-aaai17.pdf"},"keyword":["LTL","planning"],"metadata":{"authorlinks":{"camacho, a":"http://www.albertocamacho.com/","mcilraith, s":"https://www.cs.toronto.edu/~sheila/publications/index.html","muise, c":"https://www.haz.ca/academic-publications.html"}},"downloads":30},"search_terms":["non","deterministic","planning","temporally","extended","goals","ltl","over","finite","infinite","traces","camacho","triantafillou","muise","baier","mcilraith"],"keywords":["ltl","planning"],"authorIDs":["CBLksFoEERH5GZA5T","GvvCbq8Y4n9QqTySC","f4LpZ8LcDrvDyGuip"],"dataSources":["2LLKDfkxMDdABm58M","euD7cPywCk5gX9zDY","DprwGzu9heN5GXy3u","hqqbBi3M3BaCY6ivH","optQ3PYGE2PxhriFJ","sg6yZ29Z2xB5xP79R","T3oedZczBnZ2Y6GvJ","uKBTF27RvvtN9Ryxw","Jwuh2BtHasSBPk4uf"]}