Compositional Inductive Invariant Based Verification of Neural Network Controlled Systems.

Yuhao Zhou Stavros Tripakis

Published in: NFM (2024)

Keyphrases

neural network
management system
computer systems
data mining
machine learning
back propagation
formal methods
case study
database systems
fuzzy logic
intelligent systems
fault diagnosis
background knowledge
model checking
fuzzy artmap