NNV公司 swMATH ID: 32539 软件作者： Hoang-Dung Tran、Xiaodong Yang、Diego Manzanas Lopez、Patrick Musau、Luan Viet Nguyen、Weiming Xiang、Stanley Bak、Taylor T.Johnson 描述： NNV：深度神经网络和学习型网络物理系统的神经网络验证工具。本文介绍了神经网络验证（NNV）软件工具，这是一个基于集合的深度神经网络（DNN）和支持学习的网络物理系统（CPS）验证框架。NNV的关键是一组可达性算法，这些算法使用各种集合表示，例如多面体、星形集、分区和抽象域表示。NNV支持精确（健全和完整）和超近似（健全）可达性算法，用于验证具有各种激活函数的前馈神经网络（FFNN）的安全性和鲁棒性。对于支持学习的CPS，如包含神经网络的闭环控制系统，NNV为线性对象模型和具有分段线性激活函数的FFNN控制器（如ReLUs）提供了精确和过近似的可达性分析方案。对于具有非线性对象模型的类似神经网络控制系统（NNCS），NNV通过将用于FFNN控制器的星集分析与基于CORA的非线性对象动力学的区域图分析相结合，支持过近似分析。我们使用两个真实案例研究评估NNV：第一个是ACAS Xu网络的安全验证，第二个是基于深度学习的自适应巡航控制系统的安全验证。 主页： https://arxiv.org/abs/2004.05519 源代码： https://github.com/verivital/nnv/ 关键词： 系统和控制;arXiv_eess。SY公司;arXiv_机器学习;arXiv_cs。LG公司;深度神经网络;神经网络验证 相关软件： Reluplex公司;马拉布;ReachNN公司;珊瑚;AI2公司;佩雷格里恩;夏洛克;JuliaReach公司;OpenAI健身房;流量*;Verisig公司;MPT公司;验证;github;PyTorch公司;TensorFlow公司;莫塞克;AlexNet公司;ImageNet公司;古罗比 引用于： 24文件 标准条款 1出版物描述软件 年份 NNV：深度神经网络和学习型网络物理系统的神经网络验证工具arXiv公司Hoang-Dung Tran、Xiaodong Yang、Diego Manzanas Lopez、Patrick Musau、Luan Viet Nguyen、Weiming Xiang、Stanley Bak、Taylor T.Johnson 2020 全部的 前5名78位作者引用 5 Tran，Hoang-Dung村 4 巴德霍查 4 Johnson，Taylor T。 4 丹尼尔·普罗霍罗夫。 4 杨晓东 三 项伟明 2 斯坦利·巴克 2 Choi、Sungwoo 2 拉多斯拉夫·伊万诺夫 2 海塔姆·凯德 2 林德曼，拉尔斯 2 迭戈·曼扎纳斯·洛佩兹 2 帕特里克·穆索 2 亚瑟·舒克利 2 山口，富古屋 1 马蒂亚斯·阿尔霍夫 1 Altieri Sambartolomé，劳拉 1 拉杰夫·阿鲁尔 1 埃里克·阿塞林 1 阿尔卑斯山艾迪诺格鲁 1 克拉克·W·巴雷特。 1 阿尔贝托·卡萨格兰德 1 陈、陶璐 1 亚瑟·克莱维尔 1 马修·克利夫兰 1 Thao Dang先生 1 泰勒·多曼 1 卢卡·多里戈 1 托马索·德若西 1 费内科斯（Georgios E.Fainekos）。 1 方，王 1 瓦尔·法塔斯西 1 法兹利亚布，马希尔 1 詹姆斯·费雷兹 1 克里斯托夫·加里昂 1 埃里克·古堡 1 关、吉 1 纳撒尼尔·P·汉密尔顿。 1 贾凯 1 凯尔·D·朱利安。 1 凯兹，盖伊 1 Mykel J.Kochenderfer。 1 托拜厄斯·拉德纳 1 李因苏普 1 林薇薇安 1 刘志明 1 曼弗雷德·莫拉里 1 阮、滦越 1 Meeko M.K.Oishi。 1 冈本秀树 1 克莱尔·佩吉蒂 1 内拉尼亚娜·帕尔 1 乔治·帕帕斯。 1 卡拉广场 1 埃莉诺拉·皮皮亚 1 迈克尔·波萨 1 Sylvie推杆 1 马丁·里纳德（Martin C.Rinard）。 1 奥列格·索科尔斯基 1 克里斯托弗·斯特朗。 1 克里希纳·苏布拉马尼 1 亚当·J·索普。 1 阿舒托什·特里维迪 1 阿尔瓦罗·贝拉斯克斯 1 王涛 1 詹姆斯·韦默（James E.Weimer）。 1 Wojciechowski，Piotr J。 1 詹姆斯·C·P·伍德科克。 1 杰斐逊·P·伍拉德。 1 吴浩泽 1 薛安东 1 汤姆·山口 1 瓦伦·山本 1 杨业江 1 英明生 1 Aleksandar Zeljić 1 曾、夏 1 赵恒均 全部的 前5名6篇连载文章中引用 2 计算的形式方面 1 人工智能 1 Automatica公司 1 信息与计算 1 神经网络 1 机器学习 在4个字段中引用 23 计算机科学（68至XX） 14 系统论；控制（93至XX） 2 运筹学、数学规划（90-XX） 1 数值分析（65-XX） 按年份列出的引文