Verification of Deep Convolutional Neural Networks Using ImageStars

Hoang-Dung Tran, Stanley Bak, Weiming Xiang +1

Convolutional Neural Networks (CNN) have redefined the state-of-the-art in many real-world applications, such as facial recognition, image classification, human pose estimation, an…