李勇;陈玉芳;张丽君;刘德鹏 一种新的基于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公司