Verification of Deep Convolutional Neural Networks Using ImageStars (bibtex)

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

Reference:

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

Bibtex Entry:

@inproceedings{tran2020cav,
  title = {Verification of Deep Convolutional Neural Networks Using ImageStars},
  author = {Hoang-Dung Tran and Stanley Bak and Weiming Xiang and Taylor T. Johnson},
  year = {2020},
  month = jul,
  booktitle = {32nd International Conference on Computer-Aided Verification (CAV'20)},
  volume = {12224},
  pages = {18--42},
  publisher = {Springer},
  doi = {10.1007/978-3-030-53288-8_2},
  publabel = {C29},
  pubtype = {C},
  dblp = {conf/cav/TranBXJ20},
  pdf = "research/tran2020cav.pdf",
}