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