达纳·菲斯曼;哈达尔·弗兰克尔;桑德拉·齐尔斯 推断符号自动机。 (英语) Zbl 07731916号 日志。方法计算。科学。 19,第2号,第5号论文,37页(2023年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{D.Fisman}等人,《日志》。方法计算。科学。19,第2号,第5号论文,37页(2023;Zbl 07731916) 全文: 内政部 arXiv公司
娜塔莎·约加南达·杰普;汤姆·梅尔姆;丹尼尔·克罗宁 使用模拟关系通过等价性检查增强主动模型学习。 (英语) Zbl 07815088号 形式方法系统。设计。 61,编号2-3,164-197(2022).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{N.Y.Jeppu}等人,《形式方法系统》。设计。61,编号2--3,164-197(2022;Zbl 07815088) 全文: 内政部 OA许可证
安东尼奥·阿纳斯塔西奥·布鲁托·达·科斯塔;帕拉布·达斯古普塔 从实时时间序列中学习时间因果关系。 (英语) Zbl 1497.68411号 J.阿蒂夫。智力。研究(JAIR) 70, 205-243 (2021).MSC公司:68T05型 62D20型 62M10个 PDF格式BibTeX公司 XML格式引用 \textit{A.A.Bruto da Costa}和\textit{P.Dasgupta},J.Artif。智力。研究(JAIR)70,205--243(2021;Zbl 1497.68411) 全文: 内政部 arXiv公司