@第{zbMATH07382693条，作者={R{\“o}ssig，Ansgar和Petkovic，Milena}，Title={ReLU}神经网络验证的进展}，FJournal={全局优化杂志}，期刊={J.Glob.Optim.}，ISSN={0925-5001}，体积={81}，数字={1}，页码={109--152}，年份={2021}，语言={英语}，DOI={10.1007/s10898-020-00949-1}，关键词={68Q60,68T07}，zbMATH={7382693}，Zbl={1478.68172}}