邱道文 通过查询学习量子有限自动机。 （英语） Zbl 07813379号 数学。结构。计算。科学。 34，第2期，128-146（2024年）.MSC公司：68倍 PDF格式BibTeX公司 XML格式引用 \textit{D.邱}，数学。结构。计算。科学。34，第2号，128--146（2024；Zbl 07813379） 全文： 内政部 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许可证
唐晓晨;沈伟;张苗苗;安、杰;詹伯华;詹乃军 通过变异测试学习确定性单时钟时间自动机。 （英语） 兹比尔1522.68286 Bouajjani，Ahmed（编辑）等人，《验证和分析自动化技术》。第20届国际研讨会，ATVA 2022，虚拟活动，2022年10月25日至28日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13505, 233-248 (2022).MSC公司：65年第68季度 68问题32 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{X.Tang}等人，Lect。注释计算。科学。13505233-248（2022年；Zbl 1522.68286） 全文： 内政部
伊戈尔·赫梅尔尼茨基;丹尼尔·奈德;罗伊，拉贾什;谢、宣;巴伯，贝诺;贝内迪克特·博利格;阿兰·芬克尔;谢尔盖·哈达德;马丁·勒克;叶，丽娜 递归神经网络的属性定向验证和鲁棒性证明。 （英语） Zbl 1497.68311号 Hou，Zhe（编辑）等，验证和分析自动化技术。第19届国际研讨会，2021年10月18日至22日，澳大利亚昆士兰州黄金海岸，ATVA 2021。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12971, 364-380 (2021).MSC公司：60年第68季度 68T05型 PDF格式BibTeX公司 XML格式引用 \textit{I.Khmelnitsky}等人，Lect。注释计算。科学。12971、364--380（2021年；Zbl 1497.68311） 全文： 内政部
亨利克·比约克隆德;约翰娜·比约克隆德;维姆·马滕斯 学习算法。 （英语） Zbl 1534.68083号 Pin，Jean-Eric（编辑），《自动机理论手册》。第一卷理论基础。柏林：欧洲数学学会（EMS）。375-409 (2021).MSC公司：65年第68季度 68问题32 PDF格式BibTeX公司 XML格式引用 \textit{H.Björklund}等人，《自动机理论手册》。第一卷理论基础。柏林：欧洲数学学会（EMS）。375--409（2021年；Zbl 1534.68083） 全文： 内政部
李勇;陈玉芳;张丽君;刘德鹏 一种新的基于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页（2021；Zbl 1518.68150） 全文： 内政部 arXiv公司
亚历山大·佩特伦科;佛罗伦萨阿维拉内达 学习通信状态机。 （英语） Zbl 07828024号 Beyer，Dirk（编辑）等人，《测试和证明》。2019年10月9日至11日，作为2019年第三届世界正式方法大会的一部分，在葡萄牙波尔图举行了第十三届国际会议，即2019年TAP。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11823, 112-128 (2019).MSC公司：68问题32 65年第68季度 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{A.Petrenko}和\textit{F.Avellaneda}，莱克特。注释计算。科学。11823、112-128（2019；Zbl 07828024） 全文： 内政部
达纳州安格鲁因;蒂莫斯·安东尼奥普洛斯;达纳·菲斯曼 多项式时间内派生树语言的查询学习。 （英语） Zbl 1434.68210号 日志。方法计算。科学。 15，第3号，第21号论文，29页（2019年）.MSC公司：68问题32 65年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Angluin}等人，日志。方法计算。科学。15，第3号，第21号论文，29页（2019年；Zbl 1434.68210） 全文： arXiv公司
皮特曼，尼尔;阿米尔·普努利 时序逻辑和公平离散系统。 （英语） Zbl 1392.68263号 Clarke，Edmund M.（编辑）等人，《模型检查手册》。查姆：施普林格（ISBN 978-3-319-10574-1/hbk；978-3-3169-10575-8/电子书）。27-73 (2018).MSC公司：60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{N.Piterman}和\textit{A.Pnueli}，in：模型检查手册。查姆：斯普林格。27-73（2018；Zbl 1392.68263） 全文： 内政部
达纳·菲斯曼 推断正则语言和\（\omega \）-语言。 （英语） 兹比尔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） 全文： 内政部
达纳州安格鲁因;乌迪·博克;达纳·菲斯曼 DFA家族作为\（\omega \）正则语言的接受者。 （英语） Zbl 1398.68291号 日志。方法计算。科学。 14，第1号，第15号论文，21页（2018年）.MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Angluin}等人，日志。方法计算。科学。14，第1号，第15号论文，21页（2018；Zbl 1398.68291） 全文： 内政部 arXiv公司
李勇;陈玉芳;张丽君;刘德鹏 一种新的基于DFA族和分类树的Büchi自动机学习算法。 （英语） 兹比尔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公司
尼尔斯·弗利什哈克;约翰内斯·克虏伯;朱利奥·马拉沃尔塔;乔纳斯·施耐德;多米尼克·施罗德;马克·辛金 从具有可重新随机化密钥的签名中获得高效的不可链接可清理签名。 （英语） Zbl 1388.94054号 Cheng，Chen-Mou（编辑）等，公开密钥加密——PKC 2016。2016年3月6日至9日，第19届IACR公开密钥加密实践与理论国际会议，台湾台北。诉讼程序。第一部分柏林：施普林格出版社（ISBN 978-3-662-49383-0/pbk；978-3-562-49384-7/ebook）。计算机科学讲座笔记9614，301-330（2016）。MSC公司：94A60型 PDF格式BibTeX公司 XML格式引用 \textit{N.Fleischhacker}等人，Lect。注释计算。科学。9614、301-330（2016年；Zbl 1388.94054） 全文： 内政部
杨林敏;当、哲;托马斯·费舍尔。 黑盒测试的信息增益。 （英语） Zbl 1226.68031号 正式Asp。计算。 23，第4期，513-539（2011）.MSC公司：68号30 65年第68季度 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{L.Yang}等人，《正式评论》。计算。23，第4号，513--539（2011；Zbl 1226.68031） 全文： 内政部
南，旺洪;马杜苏丹，P。;拉杰夫·阿鲁尔 通过学习假设自动进行符号组合验证。 （英语） Zbl 1147.68052号 形式方法系统。设计。 32，第3期，207-234（2008）.MSC公司：60年第68季度 68问题32 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{W.Nam}等人，《形式方法系统》。设计。32，第3号，207--234（2008；Zbl 1147.68052） 全文： 内政部
莱文，Mark Sh。;最后，马克 多功能系统测试中测试输入及其序列的设计。 （英语） Zbl 1102.68510号 申请。智力。 25，第1期，107-126（2006）.MSC公司：68卢比 PDF格式BibTeX公司 XML格式引用 \textit{M.Sh.Levin}和\textit{M.Last}，应用。智力。25，第1号，107-126（2006；Zbl 1102.68510） 全文： 内政部