@inproceedings{cam-mui-bai-mci-ijcai18demo,
  author    = {Alberto Camacho and
               Christian J. Muise and
               Jorge A. Baier and
               Sheila A. McIlraith},
  title     = {{SynKit}: {LTL} Synthesis as a Service},
  booktitle = {Demonstration Track at the Twenty-Seventh International
Joint Conference on Artificial Intelligence ({IJCAI})},
  year      = {2018},
  pages     = {5817-5819},
  url_paper = {https://www.ijcai.org/proceedings/2018/0848.pdf},
  keywords  = {LTL}
}

{"_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":"http://www.cs.toronto.edu/~sheila/publications/list.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":"Demonstration Track at the Twenty-Seventh International Joint Conference on Artificial Intelligence (IJCAI)","year":"2018","pages":"5817-5819","url_paper":"https://www.ijcai.org/proceedings/2018/0848.pdf","keywords":"LTL","bibtex":"@inproceedings{cam-mui-bai-mci-ijcai18demo,\n author = {Alberto Camacho and\n Christian J. Muise and\n Jorge A. Baier and\n Sheila A. McIlraith},\n title = {{SynKit}: {LTL} Synthesis as a Service},\n booktitle = {Demonstration Track at the Twenty-Seventh International\nJoint Conference on Artificial Intelligence ({IJCAI})},\n year = {2018},\n pages = {5817-5819},\n url_paper = {https://www.ijcai.org/proceedings/2018/0848.pdf},\n keywords = {LTL}\n}\n\n","author_short":["Camacho, A.","Muise, C. J.","Baier, J. A.","McIlraith, S. A."],"key":"cam-mui-bai-mci-ijcai18demo","id":"cam-mui-bai-mci-ijcai18demo","bibbaseid":"camacho-muise-baier-mcilraith-synkitltlsynthesisasaservice-2018","role":"author","urls":{" paper":"https://www.ijcai.org/proceedings/2018/0848.pdf"},"keyword":["LTL"],"metadata":{"authorlinks":{"camacho, a":"http://www.albertocamacho.com/","mcilraith, s":"https://www.cs.toronto.edu/~sheila/publications/","muise, c":"https://haz.ca/academic-publications.html"}},"downloads":10,"html":""},"search_terms":["synkit","ltl","synthesis","service","camacho","muise","baier","mcilraith"],"keywords":["ltl"],"authorIDs":["CBLksFoEERH5GZA5T","GvvCbq8Y4n9QqTySC","f4LpZ8LcDrvDyGuip"],"dataSources":["2LLKDfkxMDdABm58M","euD7cPywCk5gX9zDY","DprwGzu9heN5GXy3u","hqqbBi3M3BaCY6ivH","optQ3PYGE2PxhriFJ","sg6yZ29Z2xB5xP79R","T3oedZczBnZ2Y6GvJ","jHtiDocCziH83gWEu","uKBTF27RvvtN9Ryxw","Jwuh2BtHasSBPk4uf","FAyKHaeKDYM4aGJk2"]}