苏斯米特·贾;阿什什·蒂瓦里;Sanjit A.Seshia。;沙海、图欣;Natarajan Shankar TeLEx:使用紧密度度量从正面示例学习信号时序逻辑。 (英语) Zbl 1425.68349号 形式方法系统。设计。 54,第3期,364-387(2019).MSC公司:68T05型 03B44号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Jha}等人,《形式方法系统》。设计。54,编号3,364--387(2019;Zbl 1425.68349) 全文: 内政部 链接
尼科·波提卡;克里斯托夫·贝尔;加布里埃尔·克恩·伊斯伯纳 在最佳熵语义下,关系概率信度状态的演化及其变化的计算的概念。 (英语) Zbl 1401.68326号 J.应用。日志。 13,第4号,第1部分,414-440(2015).MSC公司:68层37 03B42号 03B48号 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{N.Potyka}等人,J.Appl。日志。13,第4号,第1部分,414--440(2015;Zbl 1401.68326) 全文: 内政部