Verification of Deep Convolutional Neural Networks Using ImageStars

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

doi:10.1007/978-3-030-53288-8_2

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

Reference:

Hoang-Dung Tran, Stanley Bak, Weiming Xiang, Taylor T. Johnson, "Verification of Deep Convolutional Neural Networks Using ImageStars", In 32nd International Conference on Computer-Aided Verification (CAV), Springer, 2020, July.

Bibtex Entry:

@InProceedings{tran2020cav,
  author = "Hoang-Dung Tran and Stanley Bak and Weiming Xiang and Taylor T. Johnson",
  title = "Verification of Deep Convolutional Neural Networks Using ImageStars",
  booktitle = "32nd International Conference on Computer-Aided Verification (CAV)",
  year = "2020",
  month = "July",
  publisher = "Springer",
  pdf = "research/tran2020cav.pdf",
  doi = "10.1007/978-3-030-53288-8_2"
}