C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Compositional Inductive Invariant Based Verification of Neural Network Controlled Systems.
Yuhao Zhou
Stavros Tripakis
Published in:
CoRR (2023)
Keyphrases
</>
neural network
genetic algorithm
building blocks
machine learning
learning systems
management system
inductive inference
real time
concept learning
complex systems
intelligent systems
knowledge acquisition
feature vectors
expert systems
multiscale
information systems
computer vision
data mining