Verification of piecewise deep neural networks: a star set approach with zonotope pre-filter (bibtex)

by Hoang-Dung Tran, Neelanjana Pal, Diego Manzanas Lopez, Patrick Musau, Xiaodong Yang, Luan Viet Nguyen, Weiming Xiang, Stanley Bak and Taylor T. Johnson

Reference:

Hoang-Dung Tran, Neelanjana Pal, Diego Manzanas Lopez, Patrick Musau, Xiaodong Yang, Luan Viet Nguyen, Weiming Xiang, Stanley Bak and Taylor T. Johnson, "Verification of piecewise deep neural networks: a star set approach with zonotope pre-filter", Formal Aspects of Computing, Springer, vol. 33, pp. 519–545, 2021.

Bibtex Entry:

@article{tran2021faoc,
  title = {Verification of piecewise deep neural networks: a star set approach with zonotope pre-filter},
  author = {Hoang-Dung Tran and Neelanjana Pal and Diego Manzanas Lopez and Patrick Musau and Xiaodong Yang and Luan Viet Nguyen and Weiming Xiang and Stanley Bak and Taylor T. Johnson},
  year = {2021},
  month = aug,
  journal = {Formal Aspects of Computing},
  volume = {33},
  pages = {519--545},
  publisher = {Springer},
  doi = {10.1007/s00165-021-00553-4},
  publabel = {J23},
  pubtype = {J},
  dblp = {journals/fac/TranPLMYNXBJ21},
  pdf = "research/tran2021faoc.pdf",
}