迈克尔·卢滕伯格;菲利普·梅耶(Philipp J.Meyer)。;所罗门·西克特 通过奇偶博弈从LTL规范实际合成反应系统。 (英语) Zbl 1435.68200号 Acta信息。 57,编号1-2,3-36(2020).MSC公司:60年第68季度 03B44号 65年第68季度 91A43型 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{M.Luttenberger}等人,《信息学报》57,第1--2、3--36期(2020年;Zbl 1435.68200) 全文: 内政部 arXiv公司
丰田隆树;上野,Atsushi;Masaya岛川;Shigeki Hagihara;直纪延崎 考虑最大可实现性的无安全LTL综合。 (英语) Zbl 1380.68285号 Acta信息。 54,第7号,655-692(2017).MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{T.Tomita}等人,《学报》第54期,第7期,第655--692页(2017年;Zbl 1380.68285) 全文: 内政部
Leander Tentrup公司;亚历山大·韦内特;马丁·齐默尔曼 在双指数时间内,逼近即时-LTL可实现性的最佳界。 (英语) Zbl 1478.68179号 Cantone,Domenico(ed.)等人,第七届游戏、自动机、逻辑和形式验证国际研讨会论文集,GandALF 2016,卡塔尼亚,意大利,2016年9月14-16日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)226302-315(2016)。MSC公司:60年第68季度 03B44号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Tentrup}等人,《电子》。程序。西奥。计算。科学。(EPTCS)226302-315(2016年;兹bl 1478.68179) 全文: arXiv公司 链接