@InProceedings{	  dblp:conf/ijcai/torresb15,
  author	= {Jorge Torres and Jorge A. Baier},
  title		= {Polynomial-Time Reformulations of {LTL} Temporally
		  Extended Goals into Final-State Goals},
  booktitle	= {Proceedings of the Twenty-Fourth International Joint
		  Conference on Artificial Intelligence, {IJCAI} 2015, Buenos
		  Aires, Argentina, July 25-31, 2015},
  pages		= {1696--1703},
  year		= {2015},
  crossref	= {DBLP:conf/ijcai/2015},
  url		= {http://ijcai.org/Abstract/15/242},
  timestamp	= {Wed, 20 Jul 2016 15:18:06 +0200},
  biburl	= {https://dblp.org/rec/bib/conf/ijcai/TorresB15},
  bibsource	= {dblp computer science bibliography, https://dblp.org}
}

{"_id":"eQcS46edAzW9vzJFg","bibbaseid":"torres-baier-polynomialtimereformulationsofltltemporallyextendedgoalsintofinalstategoals-2015","downloads":1,"creationDate":"2015-05-02T20:47:55.929Z","title":"Polynomial-Time Reformulations of LTL Temporally Extended Goals into Final-State Goals","author_short":["Torres, J.","Baier, J. A."],"year":2015,"bibtype":"inproceedings","biburl":"https://raw.githubusercontent.com/ialab-puc/ialab.ing.puc.cl/master/pubs.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Jorge"],"propositions":[],"lastnames":["Torres"],"suffixes":[]},{"firstnames":["Jorge","A."],"propositions":[],"lastnames":["Baier"],"suffixes":[]}],"title":"Polynomial-Time Reformulations of LTL Temporally Extended Goals into Final-State Goals","booktitle":"Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 25-31, 2015","pages":"1696–1703","year":"2015","crossref":"DBLP:conf/ijcai/2015","url":"http://ijcai.org/Abstract/15/242","timestamp":"Wed, 20 Jul 2016 15:18:06 +0200","biburl":"https://dblp.org/rec/bib/conf/ijcai/TorresB15","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@InProceedings{\t dblp:conf/ijcai/torresb15,\n author\t= {Jorge Torres and Jorge A. Baier},\n title\t\t= {Polynomial-Time Reformulations of {LTL} Temporally\n\t\t Extended Goals into Final-State Goals},\n booktitle\t= {Proceedings of the Twenty-Fourth International Joint\n\t\t Conference on Artificial Intelligence, {IJCAI} 2015, Buenos\n\t\t Aires, Argentina, July 25-31, 2015},\n pages\t\t= {1696--1703},\n year\t\t= {2015},\n crossref\t= {DBLP:conf/ijcai/2015},\n url\t\t= {http://ijcai.org/Abstract/15/242},\n timestamp\t= {Wed, 20 Jul 2016 15:18:06 +0200},\n biburl\t= {https://dblp.org/rec/bib/conf/ijcai/TorresB15},\n bibsource\t= {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Torres, J.","Baier, J. A."],"key":"dblp:conf/ijcai/torresb15","id":"dblp:conf/ijcai/torresb15","bibbaseid":"torres-baier-polynomialtimereformulationsofltltemporallyextendedgoalsintofinalstategoals-2015","role":"author","urls":{"Paper":"http://ijcai.org/Abstract/15/242"},"metadata":{"authorlinks":{"baier, j":"http://www.cs.toronto.edu/~bgmomb/research.html"}},"downloads":1},"search_terms":["polynomial","time","reformulations","ltl","temporally","extended","goals","final","state","goals","torres","baier"],"keywords":[],"authorIDs":["5456e0ad8b01c8193000001d","5df1c31a1070c8ef01000002","5dfe0ecc935a0ade010000ad","5e29a59cfed3e7df0100014c","5e3b8b46184d6ede010000d3","MEoQeezyzmiZJBL6Q","XTbwimLCEPypo5jCM","dXzCgSQ92jsaPmt92","e7wakEJ3QheGDHyp4","nt4rKk7pQbAZdWSCh","x8zNn2RjXhJ2TL4Sn"],"dataSources":["oKWxZB3B6nhbK6M7y","sg6yZ29Z2xB5xP79R","G446v9njWTbWTXYNg"]}