维杰·加内什;Sanjit A.Seshia。;Jha,萨默什 机器学习和逻辑:人工智能的新前沿。 (英语) Zbl 07757157号 形式方法系统。设计。 60,编号3,426-451(2022).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{V.Ganesh}等人,《形式方法系统》。设计。60,编号3,426--451(2022;Zbl 07757157) 全文: 内政部
凯兹,盖伊;克拉克·巴雷特;大卫·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) 全文: 内政部
G.库尔蒂斯。;狄克逊,C。;M·费希尔。;A.利西萨。 通过一阶时序逻辑对先导/跟随系统进行参数化验证。 (英语) Zbl 1492.68087号 形式方法系统。设计。 58,第3号,440-468(2021); 更正同上,第60号,第325-326(2022)。MSC公司:60年第68季度 03B44号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{G.Kourtis}等人,《形式方法系统》。设计。58,第3号,440-468(2021;Zbl 1492.68087) 全文: 内政部
瓦莱里·巴拉巴诺夫;蒋洁红R。 统一的QBF认证及其应用。 (英语) Zbl 1284.68516号 形式方法系统。设计。 第41期,第1期,第45-65页(2012年).MSC公司:68吨15 03B35型 68T20型 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{V.Balabanov}和textit{J.-H.R.Jiang},《形式方法系统》。设计。41,第1号,45-65(2012;Zbl 1284.68516) 全文: 内政部
克拉克·巴雷特;莱昂纳多·德·莫拉;阿伦·斯塔姆 第二届年度可满足性模理论竞赛(SMT-COMP 2006)的设计和结果。 (英语) Zbl 1129.68498号 形式方法系统。设计。 31,第3期,221-239(2007).MSC公司:68吨15 PDF格式BibTeX公司 XML格式引用 \textit{C.Barrett}等人,《形式方法系统》。设计。31,第3号,221--239(2007;Zbl 1129.68498) 全文: 内政部