tranVerificationDeepConvolutional2020:
  type: article
  title: Verification of Deep Convolutional Neural Networks Using {ImageStars}
  author:
  - Tran, Hoang-Dung
  - Bak, Stanley
  - Xiang, Weiming
  - Johnson, Taylor T.
  date: 2020
  page-range: 18-42
  serial-number:
    doi: 10.1007/978-3-030-53288-8\_2
  parent:
    type: proceedings
    title: CAV (Part I)
    publisher: Springer
    volume: 12224
    parent:
      type: proceedings
      title: LNCS