@InCollection{zbMATH06989682，作者={Rungger，Matthias and Zamani，Majid}，标题={不确定非线性系统的精确可达性分析}，BookTitle={第21届ACM混合系统国际会议论文集：计算与控制，HSCC 2018，葡萄牙波尔图，2018年4月11-13日}，国际标准图书编号={978-1-4503-5642-8}，页码={61--70}，年份={2018年}，Publisher={纽约，NY:计算机协会（ACM）}，语言={英语}，DOI={10.1145/3178126.3178127}，关键词={93B03,93C41,93C10,93B40}，URL={scholar.colorado.edu/downloads/q811km048}，zbMATH={6989682}，Zbl=｛1417.93062｝}