Reachability in Simple Neural Networks (Q6070612)
From MaRDI portal
scientific article; zbMATH DE number 7770060
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Reachability in Simple Neural Networks |
scientific article; zbMATH DE number 7770060 |
Statements
Reachability in Simple Neural Networks (English)
0 references
23 November 2023
0 references
machine learning
0 references
computational complexity
0 references
formal specification and verification
0 references
