C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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