NNV: The Neural Network Verification Tool for Deep Neural Networks and Learning-Enabled Cyber-Physical Systems

This paper presents the Neural Network Verification (NNV) software tool, a set-based verification framework for deep neural networks (DNNs) and learning-enabled cyber-physical systems (CPS). The crux of NNV is a collection of reachability algorithms that make use of a variety of set representations,...

Descripción completa

Detalles Bibliográficos
Autores principales: Tran, Hoang-Dung, Yang, Xiaodong, Manzanas Lopez, Diego, Musau, Patrick, Nguyen, Luan Viet, Xiang, Weiming, Bak, Stanley, Johnson, Taylor T.
Formato: Online Artículo Texto
Lenguaje:English
Publicado: 2020
Materias:
Article
Acceso en línea:https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7363192/
http://dx.doi.org/10.1007/978-3-030-53288-8_1

Internet

https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7363192/
http://dx.doi.org/10.1007/978-3-030-53288-8_1

Ejemplares similares