Verification of Deep Convolutional Neural Networks Using ImageStars.

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

Browse the full CAV paper archive.