赵恒军;曾、夏;陈、陶璐;刘志明;吉姆·伍德科克 学习具有屏障证书的安全神经网络控制器。 (英语) Zbl 1521.93054号 正式Asp。计算。 33,第3期,437-455(2021).MSC公司:93亿B50 93天20分 68T07型 PDF格式BibTeX公司 XML格式引用 \textit{H.Zhao}等人,《正式评论》。计算。33,编号3,437--455(2021;Zbl 1521.93054) 全文: 内政部 arXiv公司
萨伊德·阿贝德;奥特曼·艾特·穆罕默德;盖亚斯·萨马内 高阶逻辑中约简技术的自动验证。 (英语) Zbl 1298.68162号 正式Asp。计算。 25,第6号,971-991(2013).MSC公司:60年第68季度 68吨15 68T27型 03B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{S.Abed}等人,《正式Asp》。计算。25,第6号,971--991(2013;Zbl 1298.68162) 全文: 内政部