流亡,莱奥;艾曼纽·菲利奥特;阿伊拉特·哈利莫夫 线性有序数据域上寄存器自动机的Church综合。 (英语) Zbl 07815091号 形式方法系统。设计。 61,编号2-3,290-337(2022).MSC公司:68年XX月 PDF格式BibTeX公司 XML格式引用 \textit{L.Exibard}等人,《形式方法系统》。设计。61,编号2--3,290-337(2022;Zbl 07815091) 全文: 内政部 arXiv公司 哈尔
朱塞佩·德贾科莫;安东尼奥·迪·斯塔西奥;卢卡斯·塔巴哈拉。;莫舍·瓦尔迪。;朱淑芳 时间合成中的有限跟踪和广义反应性规范。 (英语) 兹伯利07815087 形式方法系统。设计。 61,编号2-3,139-163(2022).MSC公司:68年XX月 PDF格式BibTeX公司 XML格式引用 \textit{G.De Giacomo}等人,《表格方法系统》。设计。61,编号2--3,139-163(2022;Zbl 07815087) 全文: 内政部 OA许可证
凯兹,盖伊;克拉克·巴雷特;大卫·L·迪尔。;朱利安·凯尔;Mykel J.Kochenderfer。 Reluplex:关于深层神经网络的推理演算。 (英语) Zbl 1522.68328号 形式方法系统。设计。 60,编号1,87-116(2022).MSC公司:60年第68季度 68T07型 PDF格式BibTeX公司 XML格式引用 \textit{G.Katz}等人,《形式方法系统》。设计。60,编号1,87--116(2022;Zbl 1522.68328) 全文: 内政部
罗德里克·布洛姆;费·戈尔施温;费比安·格雷夫;罗伯特·Könighfer;药丸,印戈;亨氏里纳;弗兰茨·罗克 根据时序逻辑规范综合自适应测试策略。 (英语) Zbl 1427.68160号 形式方法系统。设计。 55,编号2,103-135(2019).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Bloem}等人,《形式方法系统》。设计。55,No.2,103--135(2019;Zbl 1427.68160) 全文: 内政部 arXiv公司
贝蒂娜·科尼霍费尔;穆罕默德·阿尔谢赫;布洛克,罗德里克;劳拉·汉弗莱;罗伯特·Könighfer;乌富克托普库;王超 屏蔽合成。 (英语) Zbl 1386.68101号 形式方法系统。设计。 51,第2号,332-361(2017).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Könighfer}等人,《形式方法系统》。设计。51,第2号,332--361(2017;Zbl 1386.68101) 全文: 内政部