An Abstraction-Based Framework for Neural Network Verification.

Yizhak Yisrael Elboher Justin Gottschlich Guy Katz

Published in: CAV (1) (2020)

Keyphrases

neural network
main contribution
theoretical framework
network architecture
real time
lightweight
neural nets
real world
information systems
image sequences
search algorithm
artificial neural networks
bp neural network
conceptual framework
decision theoretic planning