阿披实·米迪亚;D.G.托马斯。 有限状态矩阵自动机和有限矩阵语言的Myhill-Nerode定理。 (英语) Zbl 1528.68190号 Barneva,Reneta P.(编辑)等人,《组合图像分析》。第21届国际研讨会,IWCIA 2022,墨西拿,意大利,2022年7月13日至15日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。第13348页、第154-170页(2023年)。MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Midya}和\textit{D.G.Thomas},莱克特。注释计算。科学。13348154-170(2023年;Zbl 1528.68190) 全文: 内政部
娜塔莎·约加南达·杰普;汤姆·梅尔姆;丹尼尔·克罗宁 使用模拟关系通过等价性检查增强主动模型学习。 (英语) 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许可证
林多·纳卡尼西;吉崎隆田;弘久世奇(Hiroyuki Seki) 确定性自下而上标称树自动机的主动学习。 (英语) Zbl 07719841号 Seidl,Helmut(编辑)等人,《计算的理论方面——ICTAC 2022》。第19届国际学术讨论会,格鲁吉亚第比利斯,2022年9月27日至29日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。13572, 342-359 (2022).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{R.Nakanishi}等人,Lect。注释计算。科学。13572342--359(2022;Zbl 07719841) 全文: 内政部 arXiv公司
西蒙·迪尔;福尔克·豪尔 常见注册自动机形式的分类和简化。 (英语) 兹比尔1522.68265 Olderog、Ernst-Rüdiger(编辑)等人,《模型检查、综合和学习》。在本特·琼森60岁生日之际为他撰写的论文。查姆:施普林格。莱克特。注释计算。科学。13030, 186-218 (2022).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Dierl}和\textit{F.Howar},莱克特。注释计算。科学。13030186-218(2022年;兹比尔1522.68265) 全文: 内政部
马库斯·弗洛姆;伯恩哈德·斯特芬 永远不要停止无语境学习。 (英语) Zbl 1522.68250号 Olderog、Ernst-Rüdiger(编辑)等人,《模型检查、综合和学习》。在本特·琼森60岁生日之际为他撰写的论文。查姆:施普林格。莱克特。注释计算。科学。13030, 164-185 (2022).MSC公司:第68季度32 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Frohme}和\textit{B.Steffen},莱克特。注释计算。科学。13030164-185(2022年;Zbl 1522.68250) 全文: 内政部
奥尔德罗格(Ernst-Rüdiger Olderog);伯恩哈德·斯特芬;易、王 模型检查、综合和学习。 (英语) Zbl 1522.68339号 Olderog、Ernst-Rüdiger(编辑)等人,《模型检查、综合和学习》。在本特·琼森60岁生日之际为他撰写的论文。查姆:施普林格。莱克特。注释计算。科学。13030, 1-7 (2022).MSC公司:第68季度第60季度 第68季度32 65年第68季度 第68季度85 PDF格式BibTeX公司 XML格式引用 \textit{E.-R.Olderog}等人,Lect。注释计算。科学。13030,1--7(2022;Zbl 1522.68339) 全文: 内政部
戴维·文霍克;约书亚·莫尔曼;朱里安·罗特 有序标称集的快速计算。 (英语) Zbl 1518.68194号 西奥。计算。科学。 935, 82-104 (2022).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Venhoek}等人,Theor。计算。科学。935,82-104(2022;Zbl 1518.68194) 全文: 内政部
Vaandrager,Frits公司;阿布谢克·米迪亚 寄存器自动机和符号跟踪语言的Myhill-Nerode定理。 (英语) Zbl 1492.68083号 西奥。计算。科学。 912, 37-55 (2022). 审核人:安德烈亚斯·马莱蒂(莱比锡) MSC公司:65年第68季度 第68季度32 PDF格式BibTeX公司 XML格式引用 \textit{F.Vaandrager}和\textit{A.Midya},Theor。计算。科学。912,37-55(2022;Zbl 1492.68083) 全文: 内政部
马丁·塔普勒;伯恩哈德·艾切尼格(Bernhard K.Aichernig)。;乔瓦尼·巴奇;玛丽亚·艾希塞德;Larsen,Kim G。 \基于(L^\ast)的马尔可夫决策过程学习(扩展版本)。 (英语) Zbl 1519.68106号 正式Asp。计算。 33,编号4-5575-615(2021).MSC公司:第68季度32 65年第68季度 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{M.Tappler}等人,正式Asp。计算。33,编号4--5,575--615(2021;Zbl 1519.68106) 全文: 内政部 arXiv公司
安、杰;陈明帅;詹伯华;詹乃军;张苗苗 学习单时钟定时自动机。 (英语) Zbl 1507.68163号 Biere,Armin(编辑)等人,《系统构建和分析的工具和算法》。第26届国际会议,TACAS 2020,作为欧洲软件理论与实践联合会议的一部分,于2020年4月25日至30日在爱尔兰都柏林举行。诉讼程序。第一部分查姆:施普林格。莱克特。注释计算。科学。12078, 444-462 (2020).MSC公司:65年第68季度 第68季度32 PDF格式BibTeX公司 XML格式引用 \textit{J.An}等人,Lect。注释计算。科学。12078、444--462(2020;Zbl 1507.68163) 全文: 内政部 arXiv公司
伯恩哈德·艾切尼格(Bernhard K.Aichernig)。;马丁·塔普勒 通过变异测试实现有效的主动自动机学习。 (英语) 兹伯利1468.68117 J.汽车。推理 63,第4期,1103-1134(2019).MSC公司:第68季度第60季度 65年第68季度 68T05型 PDF格式BibTeX公司 XML格式引用 \textit{B.K.Aichernig}和\textit{M.Tappler},J.Autom。推理63,No.4,1103--1134(2019;Zbl 1468.68117) 全文: 内政部
Andrzej S.穆拉夫斯基。;史蒂文·拉姆齐。;尼科斯·齐夫列科斯 确定性新生注册自动机的多项式时间等价性测试。 (英语) Zbl 1512.68143号 Potapov,Igor(编辑)等人,第43届计算机科学数学基础国际研讨会。2018年8月27日至31日,英国利物浦,MFCS 2018。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。117,第72条,第14页(2018年)。MSC公司:65年第68季度 20-08 2010年1月20日 第68季度25 68周05 PDF格式BibTeX公司 XML格式引用 \textit{A.S.Murawski}等人,LIPIcs——莱布尼茨国际程序。通知。117,第72条,第14页(2018;Zbl 1512.68143) 全文: 内政部
达纳·菲斯曼 推断正则语言和\(\omega \)-语言。 (英语) Zbl 1394.68211号 J.日志。代数。方法计划。 98, 27-49 (2018).MSC公司:65年第68季度 第68季度32 PDF格式BibTeX公司 XML格式引用 \textit{D.Fisman},J.Log。代数。方法计划。98、27-49(2018;Zbl 1394.68211) 全文: 内政部
塞缪尔·德鲁斯;德安东尼,洛里斯 学习符号自动机。 (英语) Zbl 1452.68092号 Legay,Axel(编辑)等人,《系统构建和分析的工具和算法》。2017年4月22日至29日在瑞典乌普萨拉举行的第23届国际会议(TACAS 2017),是欧洲软件理论与实践联合会议(ETAPS 2017)的一部分。诉讼程序。第一部分柏林:施普林格。莱克特。注释计算。科学。10205, 173-189 (2017).MSC公司:第68季度32 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Drews}和\textit{L.D'Antoni},莱克特。注释计算。科学。10205、173--189(2017;Zbl 1452.68092) 全文: 内政部
索菲亚·卡塞尔;福尔克·豪尔;本特·琼森;伯恩哈德·斯特芬 扩展有限状态机的主动学习。 (英语) Zbl 1342.68174号 正式Asp。计算。 28,第2期,233-263(2016).MSC公司:第68季度32 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Cassel}等人,《正式Asp》。计算。28,第2号,233--263(2016;Zbl 1342.68174) 全文: 内政部