Verification of deep convolutional neural networks using ImageStars
From MaRDI portal
Publication:2225072
DOI10.1007/978-3-030-53288-8_2zbMath1478.68180arXiv2004.05511OpenAlexW3046662910MaRDI QIDQ2225072
Hoang-Dung Tran, Taylor T. Johnson, Weiming Xiang, Stanley Bak
Publication date: 4 February 2021
Full work available at URL: https://arxiv.org/abs/2004.05511
Artificial neural networks and deep learning (68T07) Computing methodologies for image processing (68U10) Specification and verification (program logics, model checking, etc.) (68Q60) Machine vision and scene understanding (68T45)
Related Items (15)
Robustness verification of quantum classifiers ⋮ \textsf{BDD4BNN}: a BDD-based quantitative analysis framework for binarized neural networks ⋮ Verisig 2.0: verification of neural network controllers using Taylor model preconditioning ⋮ Robustness verification of semantic segmentation neural networks using relaxed reachability ⋮ Global optimization of objective functions represented by ReLU networks ⋮ Boosting robustness verification of semantic feature neighborhoods ⋮ The octatope abstract domain for verification of neural networks ⋮ Quantitative Verification for Neural Networks using ProbStars ⋮ Verification of Recurrent Neural Networks with Star Reachability ⋮ An SMT-based approach for verifying binarized neural networks ⋮ Verification of piecewise deep neural networks: a star set approach with zonotope pre-filter ⋮ Improving neural network verification through spurious region guided refinement ⋮ Enhancing robustness verification for deep neural networks via symbolic propagation ⋮ Recent developments in theory and tool support for hybrid systems verification with \textsc{HyPro} ⋮ Reachability analysis of a general class of neural ordinary differential equations
This page was built for publication: Verification of deep convolutional neural networks using ImageStars