李勇;陈玉芳;张丽君;刘德鹏 一种新的基于DFA族和分类树的Büchi自动机学习算法。 (英语) Zbl 1518.68150号 Inf.计算。 281,文章ID 104678,32 p.(2021).MSC公司:68问题32 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.Li}等人,信息计算。281,文章ID 104678,32 p.(2021;Zbl 1518.68150) 全文: 内政部 arXiv公司
李勇;陈玉芳;张丽君;刘德鹏 一种新的基于DFA族和分类树的Büchi自动机学习算法。 (英语) Zbl 1453.68098号 Legay,Axel(编辑)等人,《系统构建和分析的工具和算法》。2017年4月22日至29日,第23届国际会议,TACAS 2017,作为欧洲软件理论和实践联席会议的一部分,ETAPS 2017,瑞典乌普萨拉。诉讼程序。第一部分柏林:施普林格。莱克特。注释计算。科学。10205, 208-226 (2017).MSC公司:68问题32 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.Li}等人,Lect。注释计算。科学。10205208-226(2017;Zbl 1453.68098) 全文: 内政部 arXiv公司