从未 swMATH ID: 6592 软件作者： 卢卡·普利纳（Luca Pulina）；阿曼多·塔切拉 描述： NeVer：人工神经网络验证工具通常避免在安全相关应用中采用人工神经网络（ANN），因为很难用传统的分析或概率技术排除可能的不当行为。在本文中，我们提出了{sc-NeVer}，这是我们用于检查ANN安全性的工具。{sc-NeVer}将验证人工神经网络安全性的问题编码为满足线性算术约束的相应布尔组合的问题。我们描述了主要的验证算法和{sc-NeVer}的结构。我们还提供了实证结果，证实了{sc-NeVer}在现实案例研究中的有效性。 主页： http://rd.springer.com/article/10.1007%2Fs10472-011-9243-0 关键词： 自适应系统的形式化方法;抽象技术;验证 相关软件： Matlab公司;运营质量;机器人;夏克;CESAR公司 引用于： 2文件 标准条款 1出版物描述软件，包括1出版物以zbMATH为单位 年份 从未：人工神经网络验证工具。 Zbl 1251.68143号卢卡·普利纳;阿曼多·塔切拉 2011 5位作者引用 1 吉尔勒莫德尔加多·马丁内斯 1 丹尼尔·曼里克 1 卢卡·普利纳 1 罗兰尼亚，多洛雷斯·巴里奥斯 1 阿曼多·塔切拉 连载1篇 2 数学与人工智能年鉴 在2个字段中引用 2 计算机科学（68至XX） 1 特殊功能（33至XX） 按年份列出的引文