Login / Signup
Verification of Neural-Network Control Systems by Integrating Taylor Models and Zonotopes.
Christian Schilling
Marcelo Forets
Sebastián Guadalupe
Published in:
CoRR (2021)
Keyphrases
</>
neural network
prior knowledge
control system
neural network model
real time
genetic algorithm
probabilistic model
statistical models
prediction model
pattern recognition
feed forward
recurrent neural networks
fuzzy neural network
formal verification