@InProceedings{	  dblp:conf/ijcai/camachombm18a,
  author	= {Alberto Camacho and Christian J. Muise and Jorge A. Baier
		  and Sheila A. McIlraith},
  title		= {SynKit: {LTL} Synthesis as a Service},
  booktitle	= {Proceedings of the Twenty-Seventh International Joint
		  Conference on Artificial Intelligence, {IJCAI} 2018, July
		  13-19, 2018, Stockholm, Sweden.},
  pages		= {5817--5819},
  year		= {2018},
  crossref	= {DBLP:conf/ijcai/2018},
  url		= {https://doi.org/10.24963/ijcai.2018/848},
  doi		= {10.24963/ijcai.2018/848},
  timestamp	= {Sat, 28 Jul 2018 14:39:21 +0200},
  biburl	= {https://dblp.org/rec/bib/conf/ijcai/CamachoMBM18a},
  bibsource	= {dblp computer science bibliography, https://dblp.org}
}

{"_id":"HmbSSenE9k5W3bkNs","bibbaseid":"camacho-muise-baier-mcilraith-synkitltlsynthesisasaservice-2018","downloads":10,"creationDate":"2018-05-03T18:09:37.643Z","title":"SynKit: LTL Synthesis as a Service","author_short":["Camacho, A.","Muise, C. J.","Baier, J. A.","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":["Christian","J."],"propositions":[],"lastnames":["Muise"],"suffixes":[]},{"firstnames":["Jorge","A."],"propositions":[],"lastnames":["Baier"],"suffixes":[]},{"firstnames":["Sheila","A."],"propositions":[],"lastnames":["McIlraith"],"suffixes":[]}],"title":"SynKit: LTL Synthesis as a Service","booktitle":"Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, IJCAI 2018, July 13-19, 2018, Stockholm, Sweden.","pages":"5817–5819","year":"2018","crossref":"DBLP:conf/ijcai/2018","url":"https://doi.org/10.24963/ijcai.2018/848","doi":"10.24963/ijcai.2018/848","timestamp":"Sat, 28 Jul 2018 14:39:21 +0200","biburl":"https://dblp.org/rec/bib/conf/ijcai/CamachoMBM18a","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@InProceedings{\t dblp:conf/ijcai/camachombm18a,\n author\t= {Alberto Camacho and Christian J. Muise and Jorge A. Baier\n\t\t and Sheila A. McIlraith},\n title\t\t= {SynKit: {LTL} Synthesis as a Service},\n booktitle\t= {Proceedings of the Twenty-Seventh International Joint\n\t\t Conference on Artificial Intelligence, {IJCAI} 2018, July\n\t\t 13-19, 2018, Stockholm, Sweden.},\n pages\t\t= {5817--5819},\n year\t\t= {2018},\n crossref\t= {DBLP:conf/ijcai/2018},\n url\t\t= {https://doi.org/10.24963/ijcai.2018/848},\n doi\t\t= {10.24963/ijcai.2018/848},\n timestamp\t= {Sat, 28 Jul 2018 14:39:21 +0200},\n biburl\t= {https://dblp.org/rec/bib/conf/ijcai/CamachoMBM18a},\n bibsource\t= {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Camacho, A.","Muise, C. J.","Baier, J. A.","McIlraith, S. A."],"key":"dblp:conf/ijcai/camachombm18a","id":"dblp:conf/ijcai/camachombm18a","bibbaseid":"camacho-muise-baier-mcilraith-synkitltlsynthesisasaservice-2018","role":"author","urls":{"Paper":"https://doi.org/10.24963/ijcai.2018/848"},"metadata":{"authorlinks":{"camacho, a":"http://www.albertocamacho.com/","mcilraith, s":"https://www.cs.toronto.edu/~toryn/test/publications/ltl_rl.html","muise, c":"https://www.haz.ca/academic-publications.html"}},"downloads":10},"search_terms":["synkit","ltl","synthesis","service","camacho","muise","baier","mcilraith"],"keywords":[],"authorIDs":["CBLksFoEERH5GZA5T","GvvCbq8Y4n9QqTySC","f4LpZ8LcDrvDyGuip"],"dataSources":["2LLKDfkxMDdABm58M","euD7cPywCk5gX9zDY","DprwGzu9heN5GXy3u","hqqbBi3M3BaCY6ivH","optQ3PYGE2PxhriFJ","sg6yZ29Z2xB5xP79R","T3oedZczBnZ2Y6GvJ","jHtiDocCziH83gWEu","uKBTF27RvvtN9Ryxw","Jwuh2BtHasSBPk4uf"]}