CTL* Synthesis via LTL Synthesis. Bloem, R., Schewe, S., & Khalimov, A. In SYNT Workshop. EPTCS, 2017. bibtex @incollection{CTLsynt-via-LTLsynt,
author = {Roderick Bloem and Sven Schewe and Ayrat Khalimov},
title = {{{CTL*} Synthesis via {LTL} Synthesis}},
year = {2017},
booktitle = {SYNT Workshop},
publisher = {EPTCS},
}
Downloads: 0
{"_id":"Mr7Mt9m5QcSaSnYP7","bibbaseid":"bloem-schewe-khalimov-ctlsynthesisvialtlsynthesis-2017","downloads":0,"creationDate":"2018-04-07T12:33:12.849Z","title":"CTL* Synthesis via LTL Synthesis","author_short":["Bloem, R.","Schewe, S.","Khalimov, A."],"year":2017,"bibtype":"incollection","biburl":"https://5nizza.github.io/homepage/pubs/pubs.bib","bibdata":{"bibtype":"incollection","type":"incollection","author":[{"firstnames":["Roderick"],"propositions":[],"lastnames":["Bloem"],"suffixes":[]},{"firstnames":["Sven"],"propositions":[],"lastnames":["Schewe"],"suffixes":[]},{"firstnames":["Ayrat"],"propositions":[],"lastnames":["Khalimov"],"suffixes":[]}],"title":"CTL* Synthesis via LTL Synthesis","year":"2017","booktitle":"SYNT Workshop","publisher":"EPTCS","bibtex":"@incollection{CTLsynt-via-LTLsynt,\n author = {Roderick Bloem and Sven Schewe and Ayrat Khalimov},\n title = {{{CTL*} Synthesis via {LTL} Synthesis}},\n year = {2017},\n booktitle = {SYNT Workshop},\n publisher = {EPTCS},\n}\n\n\n","author_short":["Bloem, R.","Schewe, S.","Khalimov, A."],"key":"CTLsynt-via-LTLsynt","id":"CTLsynt-via-LTLsynt","bibbaseid":"bloem-schewe-khalimov-ctlsynthesisvialtlsynthesis-2017","role":"author","urls":{},"downloads":0},"search_terms":["ctl","synthesis","via","ltl","synthesis","bloem","schewe","khalimov"],"keywords":[],"authorIDs":[],"dataSources":["GDL7ZiwEqzkyh5zfN"]}