Verification of deep convolutional neural networks using ImageStars (Q2225072)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Verification of deep convolutional neural networks using ImageStars |
scientific article |
Statements
Verification of deep convolutional neural networks using ImageStars (English)
0 references
4 February 2021
0 references
neural networks
0 references
reachability analysis
0 references
machine learning
0 references
computer vision
0 references