SynKit: LTL Synthesis as a Service. Camacho, A., Muise, C., Baier, J. A., & McIlraith, S. A. In Demonstration Track at the Twenty-Seventh International Joint Conference on Artificial Intelligence (IJCAI), 2018.
Paper
Link abstract bibtex 10 downloads Automatic synthesis of software from specification is one of the classic problems in computer science. In the last decade, significant advances have been made in the synthesis of programs from specifications expressed in Linear Temporal Logic (LTL). LTL synthesis technology is central to a myriad of applications from the automated generation of controllers for Internet of Things devices, to the synthesis of control software for robotic applications. Unfortunately, the number of existing tools for LTL synthesis is limited, and using them requires specialized expertise. In this paper we present SynKit, a tool that offers LTL synthesis as a service. SynKit integrates a RESTful API and a web service with an editor, a solver, and a strategy visualizer.
@inproceedings{cam-mui-bai-mci-ijcai18demo,
author = {Alberto Camacho and
Christian 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},
url_paper = {https://www.ijcai.org/proceedings/2018/0848.pdf},
url_link = {https://www.cs.toronto.edu/~acamacho/synkit},
abstract = {Automatic synthesis of software from specification is one of the classic problems in computer science. In the last decade, significant advances have been made in the synthesis of programs from specifications expressed in Linear Temporal Logic (LTL). LTL synthesis technology is central to a myriad of applications from the automated generation of controllers for Internet of Things devices, to the synthesis of control software for robotic applications. Unfortunately, the number of existing tools for LTL synthesis is limited, and using them requires specialized expertise. In this paper we present SynKit, a tool that offers LTL synthesis as a service. SynKit integrates a RESTful API and a web service with an editor, a solver, and a strategy visualizer.}
}
Downloads: 10
{"_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.","Baier, J. A.","McIlraith, S. A."],"year":2018,"bibtype":"inproceedings","biburl":"www.haz.ca/publications.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Alberto"],"propositions":[],"lastnames":["Camacho"],"suffixes":[]},{"firstnames":["Christian"],"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","url_paper":"https://www.ijcai.org/proceedings/2018/0848.pdf","url_link":"https://www.cs.toronto.edu/~acamacho/synkit","abstract":"Automatic synthesis of software from specification is one of the classic problems in computer science. In the last decade, significant advances have been made in the synthesis of programs from specifications expressed in Linear Temporal Logic (LTL). LTL synthesis technology is central to a myriad of applications from the automated generation of controllers for Internet of Things devices, to the synthesis of control software for robotic applications. Unfortunately, the number of existing tools for LTL synthesis is limited, and using them requires specialized expertise. In this paper we present SynKit, a tool that offers LTL synthesis as a service. SynKit integrates a RESTful API and a web service with an editor, a solver, and a strategy visualizer.","bibtex":"@inproceedings{cam-mui-bai-mci-ijcai18demo,\n author = {Alberto Camacho and\n Christian 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 Joint Conference on Artificial Intelligence ({IJCAI})},\n year = {2018},\n url_paper = {https://www.ijcai.org/proceedings/2018/0848.pdf},\n url_link = {https://www.cs.toronto.edu/~acamacho/synkit},\n abstract = {Automatic synthesis of software from specification is one of the classic problems in computer science. In the last decade, significant advances have been made in the synthesis of programs from specifications expressed in Linear Temporal Logic (LTL). LTL synthesis technology is central to a myriad of applications from the automated generation of controllers for Internet of Things devices, to the synthesis of control software for robotic applications. Unfortunately, the number of existing tools for LTL synthesis is limited, and using them requires specialized expertise. In this paper we present SynKit, a tool that offers LTL synthesis as a service. SynKit integrates a RESTful API and a web service with an editor, a solver, and a strategy visualizer.}\n}\n\n","author_short":["Camacho, A.","Muise, C.","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"," link":"https://www.cs.toronto.edu/~acamacho/synkit"},"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},"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","FAyKHaeKDYM4aGJk2"]}