Project

General

Profile

Verification of Deep Convolutional Neural Networks Using ImageStars

Paper
07/06/2020

Hoang-Dung TranStanley BakWeiming XiangTaylor T. Johnson, "Verification of Deep Convolutional Neural Networks Using ImageStars", In 32nd International Conference on Computer-Aided Verification (CAV), Springer, 2020, July.

http://www.taylortjohnson.com/research/tran2020cav.pdf

Files