Verification of Neural-Network Control Systems by Integrating Taylor Models and Zonotopes.
Christian SchillingMarcelo ForetsSebastián GuadalupePublished in: AAAI (2022)
Keyphrases
- neural network
- control system
- neural network model
- statistical models
- recurrent neural networks
- neural nets
- pattern recognition
- artificial neural networks
- real time
- experimental data
- statistical model
- neural model
- prediction model
- model checking
- self organizing maps
- machine learning algorithms
- information systems
- data sets