@InProceedings{	  dblp:conf/aaai/camachotmbm17,
  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, February 4-9, 2017, San Francisco,
		  California, {USA.}},
  pages		= {3716--3724},
  year		= {2017},
  crossref	= {DBLP:conf/aaai/2017},
  url		= {http://aaai.org/ocs/index.php/AAAI/AAAI17/paper/view/15026},
  timestamp	= {Mon, 06 Mar 2017 08:17:31 +0100},
  biburl	= {https://dblp.org/rec/bib/conf/aaai/CamachoTMBM17},
  bibsource	= {dblp computer science bibliography, https://dblp.org}
}

{"_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://raw.githubusercontent.com/ialab-puc/ialab.ing.puc.cl/master/pubs.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, February 4-9, 2017, San Francisco, California, USA.","pages":"3716–3724","year":"2017","crossref":"DBLP:conf/aaai/2017","url":"http://aaai.org/ocs/index.php/AAAI/AAAI17/paper/view/15026","timestamp":"Mon, 06 Mar 2017 08:17:31 +0100","biburl":"https://dblp.org/rec/bib/conf/aaai/CamachoTMBM17","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@InProceedings{\t dblp:conf/aaai/camachotmbm17,\n author\t= {Alberto Camacho and Eleni Triantafillou and Christian J.\n\t\t Muise and Jorge A. Baier and Sheila A. McIlraith},\n title\t\t= {Non-Deterministic Planning with Temporally Extended Goals:\n\t\t {LTL} over Finite and Infinite Traces},\n booktitle\t= {Proceedings of the Thirty-First {AAAI} Conference on\n\t\t Artificial Intelligence, February 4-9, 2017, San Francisco,\n\t\t California, {USA.}},\n pages\t\t= {3716--3724},\n year\t\t= {2017},\n crossref\t= {DBLP:conf/aaai/2017},\n url\t\t= {http://aaai.org/ocs/index.php/AAAI/AAAI17/paper/view/15026},\n timestamp\t= {Mon, 06 Mar 2017 08:17:31 +0100},\n biburl\t= {https://dblp.org/rec/bib/conf/aaai/CamachoTMBM17},\n bibsource\t= {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Camacho, A.","Triantafillou, E.","Muise, C. J.","Baier, J. A.","McIlraith, S. A."],"key":"dblp:conf/aaai/camachotmbm17","id":"dblp:conf/aaai/camachotmbm17","bibbaseid":"camacho-triantafillou-muise-baier-mcilraith-nondeterministicplanningwithtemporallyextendedgoalsltloverfiniteandinfinitetraces-2017","role":"author","urls":{"Paper":"http://aaai.org/ocs/index.php/AAAI/AAAI17/paper/view/15026"},"metadata":{"authorlinks":{"camacho, a":"http://www.albertocamacho.com/","mcilraith, s":"https://www.cs.toronto.edu/~sheila/ltl_planning/","muise, c":"https://haz.ca/academic-publications.html"}},"downloads":31},"search_terms":["non","deterministic","planning","temporally","extended","goals","ltl","over","finite","infinite","traces","camacho","triantafillou","muise","baier","mcilraith"],"keywords":[],"authorIDs":["CBLksFoEERH5GZA5T","GvvCbq8Y4n9QqTySC","f4LpZ8LcDrvDyGuip"],"dataSources":["2LLKDfkxMDdABm58M","euD7cPywCk5gX9zDY","DprwGzu9heN5GXy3u","hqqbBi3M3BaCY6ivH","optQ3PYGE2PxhriFJ","sg6yZ29Z2xB5xP79R","T3oedZczBnZ2Y6GvJ","uKBTF27RvvtN9Ryxw","Jwuh2BtHasSBPk4uf","FAyKHaeKDYM4aGJk2"]}