@InCollection{zbMATH07120167，作者={Mitchell，Ian M.和Budzis，Jacob和Bolyachevets，Andriy}，Title={Poster摘要：{不变量}，通过zonotope缩放近似下的生存能力和判别核。}，BookTitle={第22届ACM混合系统国际会议论文集：计算与控制，HSCC 2019，蒙特利尔，魁北克省，加拿大，2019年4月16日至18日}，国际标准图书编号={978-1-4503-6282-5}，页码={268--269}，年份={2019}，Publisher={纽约，NY:计算机协会（ACM）}，语言={英语}，DOI={10.1145/3302504.3313354}，关键词={68Q45,68Q60,93C30}，zbMATH={7120167}}