Verification of Neural-Network Control Systems by Integrating Taylor Models and Zonotopes (Q6385941)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Verification of Neural-Network Control Systems by Integrating Taylor Models and Zonotopes |
preprint article from arXiv
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Verification of Neural-Network Control Systems by Integrating Taylor Models and Zonotopes |
preprint article from arXiv |
Statements
16 December 2021
0 references
eess.SY
0 references
cs.AI
0 references
cs.NA
0 references
cs.SY
0 references
math.DS
0 references
math.NA
0 references
Christian Schilling
0 references
Marcelo Forets
0 references
Sebastian Guadalupe
0 references
