@InCollection{zbMATH07120166，作者={秦、辛和德斯穆克，Jyotirmoy V.}，标题={海报摘要：{预测}具有概率保证的信号时序逻辑监测。}，BookTitle={第22届ACM混合系统国际会议论文集：计算与控制，HSCC 2019，蒙特利尔，魁北克省，加拿大，2019年4月16日至18日}，国际标准图书编号={978-1-4503-6282-5}，页码={266--267}，年份={2019}，Publisher={纽约，NY:计算机协会（ACM）}，语言={英语}，DOI={10.1145/3302504.3313353}，关键词={68Q45,68Q60,93C30}，zbMATH={7120166}}