NNV 2.0: The Neural Network Verification Tool.

Diego Manzanas Lopez Sung Woo Choi Hoang-Dung Tran Taylor T. Johnson

Published in: CAV (2) (2023)

Keyphrases

neural network
software tools
pattern recognition
artificial neural networks
multi layer
model checking
hybrid intelligent
neural network is trained
database
real time
data mining
genetic algorithm
information systems
network architecture
fuzzy neural network
face verification