DNNV: A Framework for Deep Neural Network Verification.

David Shriver Sebastian G. Elbaum Matthew B. Dwyer

Published in: CAV (1) (2021)

Keyphrases

neural network
main contribution
information retrieval
data mining
website
artificial neural networks
lightweight
genetic algorithm
particle filter
radial basis function
bayesian framework