@inproceedings{tranVerificationDeepConvolutional2020,
  author    = {Hoang{-}Dung Tran and
               Stanley Bak and
               Weiming Xiang and
               Taylor T. Johnson},
  title     = {Verification of Deep Convolutional Neural Networks Using {ImageStars}},
  booktitle = {CAV (Part I)},
  pages     = {18--42},
  series    = {LNCS},
  volume    = {12224},
  publisher = {Springer},
  year      = {2020},
  doi       = {10.1007/978-3-030-53288-8\_2},
}