Verification of piecewise deep neural networks: a star set approach with zonotope pre-filter.
Hoang-Dung TranNeelanjana PalDiego Manzanas LopezPatrick MusauXiaodong YangLuan Viet NguyenWeiming XiangStanley BakTaylor T. JohnsonPublished in: Formal Aspects Comput. (2021)