Verification of Recurrent Neural Networks with Star Reachability (Q6202081)
From MaRDI portal
scientific article; zbMATH DE number 7807947
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Verification of Recurrent Neural Networks with Star Reachability |
scientific article; zbMATH DE number 7807947 |
Statements
Verification of Recurrent Neural Networks with Star Reachability (English)
0 references
21 February 2024
0 references
reachability analysis
0 references
recurrent neural networks
0 references
verification
0 references
0 references
0 references
