@InProceedings{	  dblp:conf/ijcai/camachotmbm16,
  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:
		  Completing the Story for Finite and Infinite {LTL} (Amended
		  Version)},
  booktitle	= {Proceedings of the Workshop on Knowledge-based Techniques
		  for Problem Solving and Reasoning co-located with 25th
		  International Joint Conference on Artificial Intelligence
		  {(IJCAI} 2016), New York City, USA, July 10, 2016.},
  year		= {2016},
  crossref	= {DBLP:conf/ijcai/2016knowpros},
  url		= {http://ceur-ws.org/Vol-1648/paper10.pdf},
  timestamp	= {Fri, 05 Aug 2016 13:04:57 +0200},
  biburl	= {https://dblp.org/rec/bib/conf/ijcai/CamachoTMBM16},
  bibsource	= {dblp computer science bibliography, https://dblp.org}
}

{"_id":"9aqqNjWRAkcE3dcqH","bibbaseid":"camacho-triantafillou-muise-baier-mcilraith-nondeterministicplanningwithtemporallyextendedgoalscompletingthestoryforfiniteandinfiniteltlamendedversion-2016","downloads":8,"creationDate":"2016-07-19T18:10:02.808Z","title":"Non-Deterministic Planning with Temporally Extended Goals: Completing the Story for Finite and Infinite LTL (Amended Version)","author_short":["Camacho, A.","Triantafillou, E.","Muise, C. J.","Baier, J. A.","McIlraith, S. A."],"year":2016,"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: Completing the Story for Finite and Infinite LTL (Amended Version)","booktitle":"Proceedings of the Workshop on Knowledge-based Techniques for Problem Solving and Reasoning co-located with 25th International Joint Conference on Artificial Intelligence (IJCAI 2016), New York City, USA, July 10, 2016.","year":"2016","crossref":"DBLP:conf/ijcai/2016knowpros","url":"http://ceur-ws.org/Vol-1648/paper10.pdf","timestamp":"Fri, 05 Aug 2016 13:04:57 +0200","biburl":"https://dblp.org/rec/bib/conf/ijcai/CamachoTMBM16","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@InProceedings{\t dblp:conf/ijcai/camachotmbm16,\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 Completing the Story for Finite and Infinite {LTL} (Amended\n\t\t Version)},\n booktitle\t= {Proceedings of the Workshop on Knowledge-based Techniques\n\t\t for Problem Solving and Reasoning co-located with 25th\n\t\t International Joint Conference on Artificial Intelligence\n\t\t {(IJCAI} 2016), New York City, USA, July 10, 2016.},\n year\t\t= {2016},\n crossref\t= {DBLP:conf/ijcai/2016knowpros},\n url\t\t= {http://ceur-ws.org/Vol-1648/paper10.pdf},\n timestamp\t= {Fri, 05 Aug 2016 13:04:57 +0200},\n biburl\t= {https://dblp.org/rec/bib/conf/ijcai/CamachoTMBM16},\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/ijcai/camachotmbm16","id":"dblp:conf/ijcai/camachotmbm16","bibbaseid":"camacho-triantafillou-muise-baier-mcilraith-nondeterministicplanningwithtemporallyextendedgoalscompletingthestoryforfiniteandinfiniteltlamendedversion-2016","role":"author","urls":{"Paper":"http://ceur-ws.org/Vol-1648/paper10.pdf"},"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":8},"search_terms":["non","deterministic","planning","temporally","extended","goals","completing","story","finite","infinite","ltl","amended","version","camacho","triantafillou","muise","baier","mcilraith"],"keywords":[],"authorIDs":["CBLksFoEERH5GZA5T","GvvCbq8Y4n9QqTySC","f4LpZ8LcDrvDyGuip"],"dataSources":["FAyKHaeKDYM4aGJk2","euD7cPywCk5gX9zDY","hqqbBi3M3BaCY6ivH","optQ3PYGE2PxhriFJ","2LLKDfkxMDdABm58M","sg6yZ29Z2xB5xP79R","T3oedZczBnZ2Y6GvJ","uKBTF27RvvtN9Ryxw","Jwuh2BtHasSBPk4uf"]}