Verification of Deep Convolutional Neural Networks Using ImageStars.

Hoang-Dung Tran Stanley Bak Weiming Xiang Taylor T. Johnson

Published in: CoRR (2020)

Keyphrases

convolutional neural networks
convolutional network
model checking
data sets
website
case study
formal verification
asynchronous circuits
verification method
deep architectures
facial landmark localization
false acceptance
real time
machine learning
temporal logic
test generation