Verification of Deep Convolutional Neural Networks Using ImageStars.

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

Published in: CAV (1) (2020)

Keyphrases

convolutional neural networks
convolutional network
facial landmark localization
model checking
face verification
concurrent systems
formal methods
deep learning
website
object detection
data mining
computer vision
video sequences
probabilistic model
fingerprint verification
high security