@第{zbMATH07356971条，作者={Cattaruzza，Dario and Abate，Alessandro and Schrammel，Peter and Kroening，Daniel}，标题={通过抽象加速度输入的防护{LTI}模型的无限时间安全验证}，FJournal={自动推理杂志}，日志={J.自动推理}，ISSN={0168-7433}，体积={65}，数字={2}，页码={157--203}，年份={2021}，语言={英语}，DOI={10.1007/s10817-020-09562-z}，关键词={68V15}，zbMATH={7356971}}