瑞典雅各布斯;穆罕默德·萨克尔 急切策略惰性合成的符号算法。 (英语) 兹比尔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) 全文: 内政部
迈克尔·卢滕伯格;菲利普·梅耶(Philipp J.Meyer)。;所罗门·西克特 通过奇偶博弈从LTL规范实际合成反应系统。 (英语) Zbl 1435.68200号 学报信息。 57,编号1-2,3-36(2020).MSC公司:第68季度第60季度 03B44号 65年第68季度 91A43型 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{M.Luttenberger}等人,Acta Inf.57,No.1-2,3-36(2020;兹bl 1435.68200) 全文: 内政部 arXiv公司
布洛克,罗德里克;费·戈尔施温;费比安·格雷夫;罗伯特·Könighfer;药丸,印戈;亨氏里纳;弗兰茨·罗克 根据时序逻辑规范综合自适应测试策略。 (英语) Zbl 1427.68160号 形式方法系统。设计。 55,编号2,103-135(2019).MSC公司:第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Bloem}等人,《形式方法系统》。设计。55,No.2,103--135(2019;Zbl 1427.68160) 全文: 内政部 arXiv公司
拉杰夫·阿鲁尔;萨拉尔·莫拉里夫;乌富克托普库 多智能体系统反应控制器的合成和符号合成。 (英语) Zbl 1395.68267号 Inf.计算。 261,第4部分,616-633(2018).MSC公司:第68页第42页 93亿B50 PDF格式BibTeX公司 XML格式引用 \textit{R.Alur}等人,《信息计算》。261,第4部分,616--633(2018;Zbl 1395.68267) 全文: 内政部
丰田隆树;上野,Atsushi;Masaya岛川;Shigeki Hagihara;直纪延崎 考虑最大可实现性的无安全LTL综合。 (英语) Zbl 1380.68285号 学报信息。 54,第7号,655-692(2017).MSC公司:第68季度第60季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{T.Tomita}等人,《学报》第54期,第7期,第655--692页(2017年;Zbl 1380.68285) 全文: 内政部