Verification of piecewise deep neural networks: a star set approach with zonotope pre-filter (Q1982635)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Verification of piecewise deep neural networks: a star set approach with zonotope pre-filter |
scientific article |
Statements
Verification of piecewise deep neural networks: a star set approach with zonotope pre-filter (English)
0 references
14 September 2021
0 references
formal verification
0 references
safety
0 references
robustness
0 references
neural network verification
0 references
neural networks
0 references
