纳哈尔·米尔扎伊;Faghih、Fathiyeh;瑞典雅各布斯;博尔祖·博纳克达尔普尔 对称网络中自稳定协议的参数化综合。 (英语) Zbl 1435.68201号 学报信息。 57,编号1-2,271-304(2020).MSC公司:第68季度第60季度 68M10个 68个M12 68米14 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{N.Mirzaie}等人,《学报》第57期,第1--2271--304号(2020年;Zbl 1435.68201) 全文: 内政部
安托万·吉拉德;格雷戈·戈斯勒 使用无离散化多分辨率抽象的增量稳定切换系统的安全综合。 (英语) Zbl 1441.93131号 学报信息。 57,编号1-2,245-269(2020).MSC公司:93立方 93亿B50 93D05型 PDF格式BibTeX公司 XML格式引用 \textit{A.Girard}和\textit{G.össler},《学报》第57期,第1--2245--269号(2020年;Zbl 1441.93131) 全文: 内政部 哈尔
亚历山德罗·阿巴特;伊奥里·贝萨;Lucas科代罗;克里斯蒂娜·大卫;帕斯卡·凯塞利;丹尼尔·克罗宁;伊丽莎白·波尔格林 连续设备可证明安全数字控制器的自动形式化综合。 (英语) Zbl 1441.93171号 学报信息。 57,编号1-2,223-244(2020).MSC公司:93元62角 93亿B50 93立方厘米 93D20型 PDF格式BibTeX公司 XML格式引用 \textit{A.Abate}等人,《学报》第57期,第1--2223--244号(2020年;Zbl 1441.93171) 全文: 内政部
丹尼尔·奈德;亚历山大·韦内特;马丁·齐默尔曼 综合最佳弹性控制器。 (英语) Zbl 1435.68066号 学报信息。 57,编号1-2,195-221(2020).MSC公司:68号30 第68季度第60季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{D.Neider}等人,《信息学报》57,第1--2期,195-221期(2020年;Zbl 1435.68066) 全文: 内政部 arXiv公司
希拉·佩勒;伊扎基,沙查尔;莎伦·肖姆;埃兰·雅哈夫 谓词编程:交互式合成的形式化模型。 (英语) Zbl 1435.68067号 学报信息。 57,编号1-2,165-193(2020).MSC公司:68号30 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Peleg}等人,《学报》第57期,第1--2165-193页(2020年;Zbl 1435.68067) 全文: 内政部
伯恩德·芬克贝纳;克里斯托弗·哈恩;菲利普·卢克;马文·斯坦格;Leander Tentrup公司 超属性合成。 (英语) Zbl 1435.68194号 学报信息。 57,编号1-2,137-163(2020).MSC公司:第68季度第60季度 03B44号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{B.Finkbeiner}等人,《信息学报》57,第1--2137-163期(2020年;Zbl 1435.68194) 全文: 内政部 arXiv公司
雷娜·迪米特洛娃;马哈萨·加西米;托普库,乌福 线性时序逻辑规范的最大可实现性的反应合成。 (英语) Zbl 1435.68193号 学报信息。 57,编号1-2,107-135(2020).MSC公司:第68季度第60季度 03B44号 第68季度第45季度 68兰特 68T40型 PDF格式BibTeX公司 XML格式引用 \textit{R.Dimitrova}等人,《学报》第57期,第1--2107-135号(2020年;Zbl 1435.68193) 全文: 内政部 arXiv公司 链接
瑞典雅各布斯;穆罕默德·萨克尔 一种用于渴望策略的懒惰合成的符号算法。 (英语) Zbl 1435.68198号 学报信息。 57,编号1-2,81-106(2020).MSC公司:第68季度第60季度 68T20型 91A80型 94C11号机组 PDF格式BibTeX公司 XML格式引用 \textit{S.Jacobs}和\textit{M.Sakr},《学报》第57期,第1--2,81-106号(2020年;Zbl 1435.68198) 全文: 内政部
伊丽莎白·菲尔曼;毛兹,沙哈尔;詹·奥利弗·林格特 GR(1)综合和相关算法的性能启发式。 (英语) Zbl 1435.68195号 学报信息。 57,编号1-2,37-79(2020).MSC公司:第68季度第60季度 68T20型 68T40型 PDF格式BibTeX公司 XML格式引用 \textit{E.Firman}等人,《信息学报》57,第1--2号,第37-79页(2020年;Zbl 1435.68195) 全文: 内政部 arXiv公司
迈克尔·卢滕伯格;菲利普·梅耶(Philipp J.Meyer)。;所罗门·西克特 通过奇偶博弈从LTL规范实际合成反应系统。 (英语) Zbl 1435.68200号 学报信息。 57,编号1-2,3-36(2020).MSC公司:第68季度第60季度 03B44号 第68季度第45季度 91A43型 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{M.Luttenberger}等人,Acta Inf.57,No.1-2,3-36(2020;兹bl 1435.68200) 全文: 内政部 arXiv公司
罗德里克·布洛姆(编辑);保罗·塔布阿达(编辑) SYNT的前言。 (英语) Zbl 1435.68019号 学报信息。 57,第1-2号,第1期(2020年).MSC公司:68-06 第68季度第60季度 00B15号机组 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{R.Bloem}(编辑)和textit{P.Tabuada}(主编),《学报》第57卷,第1--2期,第1期(2020年;Zbl 1435.68019) 全文: 内政部