简·Křetínsk;托拜厄斯·梅根多夫;克拉拉·沃尔德曼;马克西米利安·威宁格 用预购单索引外观记录。 (英语) Zbl 07592344号 学报信息。 59,第5号,585-618(2022).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{J.Křetínsk曬}et al.,Acta Inf.59,No.5,585--618(2022;Zbl 07592344) 全文: 内政部
朱利安·古铁雷斯;阿尼埃洛·穆拉诺;朱塞佩·佩雷利;萨沙·鲁宾;托马斯·斯蒂普尔斯;迈克尔·伍尔德里奇 质量和数量目标相结合的游戏的平衡。 (英语) Zbl 1483.68193号 学报信息。 58,第6号,585-610(2021).MSC公司:60年第68季度 03B44号 68T42型 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{J.Gutierrez}等人,《信息学报》58,第6期,585--610(2021年;Zbl 1483.68193) 全文: 内政部 arXiv公司 链接
陈明帅;马丁·范策尔;李杨佳;彼得·莫萨德(Peter N.Mosaad)。;詹乃军 不确定性和延迟是失败的根源——通过综合延迟控制在算法上驯服它们。 (英语) Zbl 1528.68214号 学报信息。 58,第5期,497-528(2021).MSC公司:60年第68季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{M.Chen}等人,《学报》第58期,第5期,第497--528页(2021年;Zbl 1528.68214) 全文: 内政部
安托万·吉拉德;格雷戈·戈斯勒 使用无离散化多分辨率抽象的增量稳定切换系统的安全综合。 (英语) 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) 全文: 内政部 哈尔
伯恩德·芬克贝纳;克里斯托弗·哈恩;菲利普·卢克特;马文·斯坦格;Leander Tentrup公司 超属性合成。 (英语) Zbl 1435.68194号 学报信息。 57,编号1-2,137-163(2020).MSC公司:60年第68季度 03B44号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{B.Finkbeiner}等人,《信息学报》第57期,第1期,第2期,第137-163期(2020年;兹bl 1435.68194) 全文: 内政部 arXiv公司
瑞典雅各布斯;穆罕默德·萨克尔 急切策略惰性合成的符号算法。 (英语) Zbl 1435.68198号 学报信息。 57,编号1-2,81-106(2020).MSC公司:60年第68季度 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公司:60年第68季度 68T20型 68T40型 PDF格式BibTeX公司 XML格式引用 \textit{E.Firman}等人,《信息学报》57,第1--2号,第37-79页(2020年;Zbl 1435.68195) 全文: 内政部 arXiv公司
迈克尔·卢滕伯格;菲利普·梅耶(Philipp J.Meyer)。;所罗门·西克特 通过奇偶博弈从LTL规范对反应系统进行实际综合。 (英语) 兹比尔1435.68200 学报信息。 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公司
马丁·齐默尔曼 参数化线性时序逻辑满足成本:仍然不比LTL更昂贵。 (英语) Zbl 1390.68445号 学报信息。 55,第2期,129-152(2018).MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{M.Zimmermann},《学报》第55期,第2期,第129--152页(2018年;Zbl 1390.68445) 全文: 内政部 arXiv公司
苏斯米特·贾;Sanjit A.Seshia。 通过归纳学习的形式综合理论。 (英语) Zbl 1380.68124号 学报信息。 54,第7期,693-726(2017).MSC公司:68号30 68T05型 PDF格式BibTeX公司 XML格式引用 \textit{S.Jha}和\textit{S.A.Seshia},《学报》第54期,第7期,第693--726页(2017年;Zbl 1380.68124) 全文: 内政部 arXiv公司 链接
丰田隆树;上野,Atsushi;Masaya岛川;Shigeki Hagihara;直纪延崎 考虑最大可实现性的无安全LTL综合。 (英语) Zbl 1380.68285号 学报信息。 54,第7号,655-692(2017).MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{T.Tomita}等人,《学报》第54期,第7期,第655--692页(2017年;Zbl 1380.68285) 全文: 内政部
亨特,保罗;吉列尔莫·佩雷斯。;让-弗朗索瓦·拉斯金 无遗憾的反应合成。 (英语) Zbl 1364.68263号 学报信息。 54,第1期,3-39页(2017年); 更正同上,第59号,第5671(2022)。MSC公司:60年第68季度 68问题85 68兰特 91A43型 PDF格式BibTeX公司 XML格式引用 \textit{P.Hunter}等人,Acta Inf.54,No.1,3-39(2017;兹bl 1364.68263) 全文: 内政部 arXiv公司
约阿希姆·克莱因;克里斯特尔·拜尔;克吕佩尔霍尔茨,萨沙 大多数通用控制器的组成结构。 (英语) Zbl 1329.68186号 学报信息。 52,编号4-5,443-482(2015). 审核人:Jörg Desel(哈根) MSC公司:68问题85 03B44号 60年第68季度 93亿B50 PDF格式BibTeX公司 XML格式引用 \textit{J.Klein}等人,《学报》第52期,第4--5、443--482号(2015年;Zbl 1329.68186) 全文: 内政部
罗德里克·布洛姆;克里希南德·查特吉;卡琳·格雷梅尔;托马斯·亨辛格(Thomas A.Henzinger)。;格奥尔格·霍弗雷克;芭芭拉·乔布斯曼;贝蒂娜·科尼霍费尔;罗伯特·Könighfer 合成鲁棒系统。 (英语) Zbl 1302.93079号 学报信息。 51,编号3-4193-220(2014).MSC公司:93B35型 93亿B50 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Bloem}等人,Acta Inf.51,No.3--4,193-220(2014;Zbl 1302.93079) 全文: 内政部
彼得·布里切夫;亚历山大·戴维;Larsen,Kim G。;李广元 一个\(\mathrm片段的有效控制器综合{MTL}_{0,\infty}\)。 (英语) Zbl 1360.68578号 学报信息。 51,编号3-4,165-192(2014).MSC公司:60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Bulychev}等人,《信息学报》第51期,第3-4165-192号(2014年;Zbl 1360.68578) 全文: 内政部
克里希南德·查特吉;米凯尔·兰多尔;让-弗朗索瓦·拉斯金 多维量化目标的战略合成。 (英语) Zbl 1360.68208号 学报信息。 51,编号3-4,129-163(2014).MSC公司:64岁以下 91A43型 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{K.Chatterjee}等人,《信息学报》第51期,第3--4129-163号(2014年;Zbl 1360.68208) 全文: 内政部 arXiv公司