@InProceedings{	  dblp:conf/aips/camachobmm18,
  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-Eighth International Conference
		  on Automated Planning and Scheduling, {ICAPS} 2018, Delft,
		  The Netherlands, June 24-29, 2018.},
  pages		= {29--38},
  year		= {2018},
  crossref	= {DBLP:conf/aips/2018},
  url		= {https://aaai.org/ocs/index.php/ICAPS/ICAPS18/paper/view/17790},
  timestamp	= {Mon, 25 Jun 2018 13:32:06 +0200},
  biburl	= {https://dblp.org/rec/bib/conf/aips/CamachoBMM18},
  bibsource	= {dblp computer science bibliography, https://dblp.org}
}

{"_id":"2RFgwcJSM6EkTcEG8","bibbaseid":"camacho-baier-muise-mcilraith-finiteltlsynthesisasplanning-2018","downloads":39,"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":"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":["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-Eighth International Conference on Automated Planning and Scheduling, ICAPS 2018, Delft, The Netherlands, June 24-29, 2018.","pages":"29–38","year":"2018","crossref":"DBLP:conf/aips/2018","url":"https://aaai.org/ocs/index.php/ICAPS/ICAPS18/paper/view/17790","timestamp":"Mon, 25 Jun 2018 13:32:06 +0200","biburl":"https://dblp.org/rec/bib/conf/aips/CamachoBMM18","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@InProceedings{\t dblp:conf/aips/camachobmm18,\n author\t= {Alberto Camacho and Jorge A. Baier and Christian J. Muise\n\t\t and Sheila A. McIlraith},\n title\t\t= {Finite {LTL} Synthesis as Planning},\n booktitle\t= {Proceedings of the Twenty-Eighth International Conference\n\t\t on Automated Planning and Scheduling, {ICAPS} 2018, Delft,\n\t\t The Netherlands, June 24-29, 2018.},\n pages\t\t= {29--38},\n year\t\t= {2018},\n crossref\t= {DBLP:conf/aips/2018},\n url\t\t= {https://aaai.org/ocs/index.php/ICAPS/ICAPS18/paper/view/17790},\n timestamp\t= {Mon, 25 Jun 2018 13:32:06 +0200},\n biburl\t= {https://dblp.org/rec/bib/conf/aips/CamachoBMM18},\n bibsource\t= {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Camacho, A.","Baier, J. A.","Muise, C. J.","McIlraith, S. A."],"key":"dblp:conf/aips/camachobmm18","id":"dblp:conf/aips/camachobmm18","bibbaseid":"camacho-baier-muise-mcilraith-finiteltlsynthesisasplanning-2018","role":"author","urls":{"Paper":"https://aaai.org/ocs/index.php/ICAPS/ICAPS18/paper/view/17790"},"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":39},"search_terms":["finite","ltl","synthesis","planning","camacho","baier","muise","mcilraith"],"keywords":[],"authorIDs":["CBLksFoEERH5GZA5T","GvvCbq8Y4n9QqTySC","f4LpZ8LcDrvDyGuip"],"dataSources":["2LLKDfkxMDdABm58M","euD7cPywCk5gX9zDY","DprwGzu9heN5GXy3u","hqqbBi3M3BaCY6ivH","optQ3PYGE2PxhriFJ","sg6yZ29Z2xB5xP79R","T3oedZczBnZ2Y6GvJ","jHtiDocCziH83gWEu","uKBTF27RvvtN9Ryxw","Jwuh2BtHasSBPk4uf","FAyKHaeKDYM4aGJk2"]}