@InCollection{zbMATH07120140，作者={Abbas，Houssam and Pant，Yash Vardhan and Mangharam，Rahul}，标题={一般信号类的时序逻辑稳健性}，BookTitle={第22届ACM混合系统国际会议论文集：计算与控制，HSCC 2019，蒙特利尔，魁北克省，加拿大，2019年4月16日至18日}，国际标准图书编号={978-1-4503-6282-5}，页码={45--56}，年份={2019}，Publisher={纽约，NY:计算机协会（ACM）}，语言={英语}，DOI={10.1145/3302504.3311817}，关键词={68Q45,68Q60,93C30}，URL={repository.upenn.edu/mlab_papers/117}，zbMATH={7120140}}