@第{zbMATH07395143条，作者={Tran，Hoang-Dung and Pal，Neelanjana and Manzanas Lopez，Diego and Musau，Patrick and Yang，Xiaodong and Nguyen，Luan Viet and Xiang，Weiming and Bak，Stanley and Johnson，Taylor T.}，Title={分段深度神经网络的验证：一种带zonotope预滤器的星集方法}，FJournal={计算的形式方面}，日志={正式Asp.Compute.}，ISSN={0934-5043}，体积={33}，数字={4-5}，页码={519--545}，年份={2021}，语言={英语}，DOI＝{10.1007/s0165-021-00553-4}，关键词={68Q60,68T07}，zbMATH={7395143}，Zbl={1519.68143}}