秦欣;Jyotirmoy V.德斯穆赫。 海报摘要:具有概率保证的信号时序逻辑预测监测。 (英语) Zbl 07120166号 第22届ACM混合系统国际会议论文集:计算与控制,HSCC 2019,加拿大魁北克省蒙特利尔,2019年4月16日至18日。纽约州纽约市:计算机协会(ACM)。266-267 (2019). 引用于1文件 MSC公司: 65年第68季度 形式语言和自动机 60年第68季度 规范和验证(程序逻辑、模型检查等) 93立方 由微分方程以外的函数关系控制的控制/观测系统(例如混合系统和开关系统) 关键词:监测;概率推理;信号时序逻辑 软件:S-TaLiRo公司;ST-Lib型 PDF格式BibTeX公司 XML格式引用 \textit{X.Qin}和\textit{J.V.Deshmukh},in:第22届ACM混合系统国际会议论文集:计算和控制,HSCC 2019,加拿大魁北克蒙特利尔,2019年4月16-18日。纽约州纽约市:计算机协会(ACM)。266--267(2019年;Zbl 07120166) 全文: 内政部