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

Hoang-Dung Tran, Neelanjana Pal, Diego Manzanas Lopez, Patrick Musau, Xiaodong Yang, Luan Viet Nguyen, Weiming Xiang, Stanley Bak, Taylor T. Johnson. Verification of piecewise deep neural networks: a star set approach with zonotope pre-filter. Formal Asp. Comput., 33(4):519-545, 2021. [doi]

Abstract

Abstract is missing.