Probabilistic Symbolic Analysis of Neural Networks.

Hayes Converse Antonio Filieri Divya Gopinath Corina S. Pasareanu

Published in: ISSRE (2020)

Keyphrases

neural network
genetic algorithm
database
learning algorithm
computer vision
image sequences
data analysis
artificial neural networks
data driven
sufficient conditions
fault diagnosis
radial basis function
uncertain data