{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2024,5,14]]，“日期时间”：“2024-05-14T17:17:56Z”，“时间戳”：1715707076995}，“出版商位置”：“查姆”，“参考计数”：33，“出版者”：“斯普林格国际出版”，“isbn-type”：[{“值”：“9783030634056”，“类型”：”打印“}，{“值”：“9783030634063”，“type”：“electronic”}]，“license”：[{“start”：{“date-parts”：[[2020,1,1]]，“date-time”：“2020-01-01T00:00:00Z”，“timestamp”：1577836800000}，“content-version”：“tdm”，“delay-in-days”：0，“URL”：“http://www.springer.com\/tdm”}0:00:00Z“，”时间戳“：1577836800000}，”内容版本“：”vor“，“delay-in-days”：0，“URL”：“http://\/www.springer.com\/tdm”}，{“start”：{“date-parts”：[[2020,1,1]]，“date-time”：“2020-01-01T00:00:00Z”，“timestamp”：1577836800000}，“content-version”：“tdm”，“delay-in-days“：0，”URL“http://\www.springer.com\/tdm”}1,1]]，“日期时间”：“2020-01-01T00:00:00Z”，“时间戳”：1577836800000}，“content-version”：“vor”，“delay-in-days”：0，“URL”：“http://www.springer.com//tdm”}]，“content-domain”：{“domain”:[“link.springer.com”]，“crossmark-restriction”：false}，“short-container-title”：[]，“published-print”:{“date-parts”：[2020]]}，”DOI“10.1007\/978-3-030-63406-3_8”，“type”：“book-capter”，“创建“：{“date-parts”：[[2020,12,18]]，“date-time”：“2020-12-18T16:05:19Z”，“时间戳”：1608307519000｝，“页面”：“129-146”，“更新策略”：“http:\/\/dx.doi.org/10.1007\/springer_crossmark_policy”，“源”：“Crossref”，“被计数引用”：1，“标题”：[“确定性单时钟定时自动机的PAC学习”]，“前缀”：“10.1007”，“作者”：[{“ORCID”：“http:\/\/ORCID.org/0000-0003-0034-9758”，“authenticated-orcid”：false，“given”：“Wei”，“family”：“Shen”，“sequence”：“first”，“affiliation”：[]}，{“orcid”：”http://\/orcid.org\/00000-0001-9260-9697“，”authentimated-orcide“：false”，“giving”：“Jie”，“家族”：“An”，“序列”：“additional”，“ability”：[]}，}“orcid”：“http://\/orcid.org\/0000-0000-5377-9351”，“authorited-orcid”：false，“given”：“Bohua”，“family”：“Zhan”，“sequence”：“additional”，“affiliation”：[]}，{“given”：“苗苗”，“family”：“Zang”，”sequence“：“additive”，“filiation“：[]{”ORCID“：”http://\/ORCID.org\/00000-0001-9717-846X“，”authenticated-ORCID“：false，”given“：“Bai”，“家庭”：“Xue”，“序列”：“additional”、“affidiation”：[]}、{“ORCID”：”http://\\/ORCID。组织\/00000-0003-3298-3817“，“authenticated orcid”：false，“given”：“Naijun”，“family”：“Zhan”，“sequence”：“additional”，“affiliation”：[]｝]，“member”：“297”，“在线发布”：｛“date parts”：[[2020,12,19]]｝，“reference”：[｛“issue”：“4”，“key”：“8_CR1”，“doi asserted by”：“publisher”，“first page”：“1103”，“doi”：“10.1007\\s10817-018-9486-0”，“volume”：“63”，“author”：“BK Aichernig”，“年份”：“2019”，“非结构化”：“Aichernig，B.K.，Tappler，M.：通过突变测试进行高效主动自动机学习。J.Autom.Reason.63（4），1103\u20131134（2019）”，“日志标题”：“J.Autom.Reason”}，{“问题”：“2”，“关键”：“8_CR2”，“doi-asserted-by”：“出版商”，“首页”：“183”，“doi”：“10.1016\/0304-3975（94）90010-8”，“卷”：“126”，”作者：“R Al ur”，“年份”：“1994”，“非结构化”：“Alur，R.，Dill，D.L.：时间自动机理论。Theor.Comput.Sci.126（2），183\u2013235（1994）”，“日志标题”：“Theor.Cumput.Sci.”}，{“问题”：“1”，“键”：“8_CR3”，“doi-asserted-by”：“出版商”，“首页”：“253”，”doi“10.1016\/S0304-3975（97）00173-4”，“卷”：“211”，“作者”：“R Alur”，“年份”：“1999年”，“非结构化”：“Alur，R.，Fix，L.，Henzinger，T.A.：事件-时钟自动机：时间自动机的可确定类。Theor.Comput.Sci.211（1），253\u2013274（1999）”，“期刊标题”：“Theor.Cumput.Sci.”}，{“key”：“8_CR4”，“unstructured”：“An，J.，Chen，M.，Zhan，B.，Zhang，M.：学习单时钟时间自动机（完整版）。arXiv:1910.10680（2019）”}，{“key”：“8_CR5”，“series-title”：“计算机科学课堂讲稿”，“doi-asserted-by”：“publisher”，“first page”：”444“，“doi”：“10.1007\/978-3-030-45190-5_25”，”volume-title“：“系统构建和分析的工具和算法”，“author”：“J An”，”year“2020”，“unstructured”：“An，J.，Chen，M.，Zhan，B.，Zhang，N.，Zang，M.：学习单时钟时间自动机。摘自：Biere，A.，Parker，D.（编辑）TACAS 2020。LNCS，第12078卷，第444\u2013462页。查姆施普林格（2020）。https:\/\/doi.org\/10.1007\/978-3-030-45190-5_25“}，{“key”：“8_CR6”，“doi-asserted-by”：“publisher”，“unstructured”：“An，J.，Wang，L.，Zhan，B.，Zhang，N.，Zang，M.：Learning real-time automata。科学中国信息科学出版社。https:\//doi.org\/10.10007\/s11432-019-2767-4”，“doi”：“10.1007\/s1132-019-2767-40”}，}“issue”：“2”，“键”：“8_CR7”，“doi-asserted-by“：”publisher“，”first-page“：”87“，”doi“：”10.1016\/0890-5401（87）90052-6“，”volume“：”75“，”author“：”D Anguin“，”year“：”1987“，”unstructured“：”Anguin，D.：从查询和反例中学习正则集。Inf.计算。75（2），87\u2013106（1987）“，“新闻标题”：“信息计算。“}，{”key“：”8_CR8“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”first page“：“175”，“doi”：“10.1007\/978-3-540-31984-9_14”，“volume-title”：“软件工程的基本方法”，“author”：“T Berg”，“year”：“2005”，“unstructured”：“Berg，T.、Grinchtein，O.、Jonsson，B.、Leucker，M.、Raffelt，H.、Steffen，B.：关于一致性测试和规则推理之间的对应关系。摘自：Cerioli，M.（编辑）FASE 2005。LNCS，第3442卷，第175\u2013189页。斯普林格，海德堡（2005）。https:\/\/doi.org\/10.1007\/978-3-540-31984-9_14“}，{“key”：“8_CR9”，“series-title”：“计算机科学讲义”，“doi-asserted-by”：“publisher”，“首页”：“295”，“doi”：“10.1007\/978-2319-33693-0_19”，”volume-title“：“综合形式方法”，“author”：“P van den Bos”，“年份”：“2016”，“非结构化”：“van den Bos，P.，Smetsers，R.，Vaandrager，F.：通过基于日志的度量增强自动机学习。收录于：\u00c1brah\u00e1m，E.，Huisman，M.（编辑）IFM 2016。LNCS，第9681卷，第295\u2013310页。查姆施普林格（2016）。https:\/\/doi.org\/10007\/978-3-319-33693-0_19“}，{“key”：“8_CR10”，“doi-asserted-by”：“crossref”，“unstructured”：“Chen，Y.F.，et al.：基于PAC学习的验证和模型合成。摘自：ICSE 2016，pp.714\u2013724。IEEE（2016）“，”DOI“：”10.1145\/2884781.2884860“}，{”issue“：”3“，”key“：”8_CR11“，”DOI-asserted-by“：”publisher“，”first page“：“178”，“DOI”：“10.1109\/TSE.1978.231496”，“volume”：“4”，“author”：“TS Chow”，“year”：“1978”，“unstructured”：“Chow，T.S.：用有限状态机建模的测试软件设计。IEEE Trans.Softw.Eng.4（3），178\ u2013187（1978）“，”journal-title“：”IEEE Trans。柔和。工程师“}，{”key“：”8_CR12“，”series-title“：”计算机科学课堂讲稿“，”doi-asserted-by“：”publisher“，”first page“：“173”，“doi”：“10.1007\/978-3662-54577-5_10”，“volume-title”：“系统构建和分析的工具和算法”，“author”：“S Drews”，“year”：“2017”，“unstructured”：“Drews，S.，D\u2019Antoni，L.：学习符号自动机。收录：Legay，A.，Margaria，T.（编辑）TACAS 2017。LNCS，第10205卷，第173\u2013189页。施普林格，海德堡（2017）。https:\/\/doi.org\/10.1007\/978-3662-54577-5_10“}，{”问题“：”11“，”密钥“：”8_CR13“，”doi-asserted-by“：”出版商“，”首页“：”1023“，“doi”：“10.1109\/TSE.2002.1049402”，“卷”：“28”，“作者”：“A En-Nouaary”，“年份”：“2002”，“非结构化”：“En-Nouaary，A.，Dssouli，R.，Khendek，F.时间d WP方法：测试实时系统。IEEE Trans.Softw.Eng.28（11），1023\u20131038（2002）“，”期刊标题“：”IEEE Trans。柔和。Eng.“}，{”key“：”8_CR14“，”unstructured“：”En-Nouaary，A.，Dssouli，R.，Khendek，F.，Elqortobi，A.：基于状态表征技术的定时测试用例生成。摘自：RTSS 1998，pp.220\u2013229。IEEE（1998）“}，{”issue“：”6“，”key“：”8_CR15“，”doi-asserted-by“：”publisher“，”first page“：“591”，“doi”：“10.1109\/32.87284”，“volume”：“17”，“author”：“S Fujiwara”，“year”：“1991”，“unstructured”：“Fujiwara，S.，Bochmann，G.V.，Khendek，F.，Amalou，M.，Ghedamsi，A.：基于有限状态模型的测试选择。IEEE Trans.Softw.Eng.17（6），591\u2013603（1991）“，”journal-title“：”IEEE Trans。柔和。Eng.“}，{”issue“：”47“，”key“：”8_CR16“，”doi-asserted-by“：”publisher“，”first-page“：”4029“，”doi“：”10.1016\/j.tcs.2010.07.008“，”volume“：“411”，”author“：”O Grinchtein“，”year“：”2010“，”unstructured“：”Grinchstein，O.，Jonsson，B.，Leucker，M.：事件记录自动机的学习。Theor.Comput.Sci.411（47），4029\u2013405 4（2010）“，“新闻标题”：”西奥。计算。科学。“}，{”key“：”8_CR17“，”series-title“：”计算机科学课堂讲稿“，”doi-asserted-by“：”publisher“，”first page“：“563”，”doi“：”10.1007\/978-3319-91908-9_26“，”volume-title“：“计算与软件科学”，”author“：”F Howar“，“年份”：“2019”，”unstructured“：”Howar，F.，Jonsson，B.，Vaandrager，F.：结合黑盒和白盒技术学习寄存器自动机。收录：Steffen，B.，Woeginger，G.（编辑）计算与软件科学。LNCS，第10000卷，第563\u2013588页。查姆施普林格（2019）。https:\/\/doi.org\/10.1007\/978-3-319-91908-9_26“}，{”issue“：”8“，”key“：”8_CR18“，“doi-asserted-by”：“publisher”，“first page”：“1090”，“doi”：“10.1109\/5.533956”，“volume”：”84“，”author“：”D Lee“，“year”：“1996”，“unstructured”：“Lee，D.，Yannakakakakikis，M.：测试有限状态机的原则和方法-调查。Proc.IEEE 84（8），1090\u20131123（1996）“，”journal-title“：”程序。IEEE“}，{”key“：”8_CR19“，”series-title“：”计算机科学课堂讲稿“，”doi-asserted-by“：”publisher“，”first page“：“463”，“doi”：“10.1007\/978-3642-24372-1_35”，“volume-title”：“自动验证和分析技术”，“author”：“S-W Lin”，“year”：“2011”，“unstructured”：“Lin，S.-W.，Andr\u00e9，\u00c9.，Dong，J.S.，Sun，J.，Liu，Y.：一种学习事件记录自动机的有效算法。收录：Bultan，T.，Hyung，P.-A.（编辑）ATVA 2011。LNCS，第6996卷，第463\u2013472页。斯普林格，海德堡（2011）。https:\/\/doi.org\/10007\/978-3642-24372-1_35“}，{“key”：“8_CR20”，“series-title”：“计算机科学课堂讲稿”，“doi-asserted-by”：“publisher”，“first page”：”485“，“doi”：“10.1007\/968-3642-54862-8_41”，“volume-title”：”系统构建和分析的工具和算法“，”author：“O Maler”，“年份”：“2014”，“非结构化”：“Maler，O.，Mens，I.-E.：通过大字母学习正规语言。收录于：\u00c1brah\u00e1m，E.，Havelund，K.（编辑）TACAS 2014。LNCS，第8413卷，第485\u2013499页。斯普林格，海德堡（2014）。https:\/\/doi.org\/10.1007\/978-3642-54862-8_41“}，{“key”：“8_CR21”，“series-title”：“计算机科学讲义”，“doi-asserted-by”：“publisher”，“first page”：”146“，“doi”：“10.1007\/9783-319-63121-9_8”，“volume-title”：”模型、算法、逻辑和工具“，“author”：“O Maler”，“年份”：“2017”，“非结构化”：“Maler，O.，Mens，I.-E.：从成员查询中学习符号自动机的通用算法。收录人：Aceto，L.，Bacci，G.，Bacci，G..，Ing\u00f3lfsd\u00f3ttir，A.，Legay，A.，Mardare，R.（编辑）《模型、算法、逻辑和工具》。LNCS，第10460卷，第146\u2013169页。施普林格，查姆（2017）。https:\/\/doi.org\/10.1007\/978-3-319-63121-9_8“}，{“key”：“8_CR22”，“series-title”：“计算机科学讲义”，“doi-asserted-by”：“publisher”，“首页”：“178”，”doi“：”10.1007\/9783-319-57288-8_13“，”volume-title“：”NASA Formal Methods“，”author“：”BL Mediouni“，”年份“：”2017“，”非结构化“：”Mediouni，B.L.，Nouri，A.，Bozga，M.，Bensalem，S.：通过状态合并算法改进随机时间模型的学习。收录人：Barrett，C.，Davies，M.，Kahsai，T.（编辑）NFM 2017。LNCS，第10227卷，第178\u2013193页。施普林格，查姆（2017）。https:\/\/doi.org\/10007\/978-3-319-57288-8_13“}，{“key”：“8_CR23”，“unstructured”：“Mens，I.：通过大字母学习正规语言。（Apprentissage de langages r \u00e9guliers sur des alphabets de grands tailles）。法国格勒诺布尔阿尔卑斯大学博士论文（2017）。https:\//tel.archives-ouvertes.fr\/tel-01792635”}，}“key”：“8-CR24”，“doi-asserted-by“：”crossref“，”unstructured“：”Ouaknine，J.，Worrell，J.：关于时间自动机的语言包含问题：缩小可判定性差距。摘自：第19届IEEE计算机科学逻辑研讨会论文集，LICS 2004，pp.54\u201363。IEEE Computer Society（2004）“，”DOI“：”10.1109\/LICS.2004.1319600“}，{”key“：”8_CR25“，”DOI-asserted-by“：”crossref“，”unstructured“：”Pastore，F.，Micucci，D.，Mariani，L.：时间k-Tail：时间自动机的自动推理。摘自：第十届IEEE软件测试、验证和确认国际会议记录，ICST 2017，第401\u2013411页。IEEE计算机协会（2017）”，“DOI”：“10.1109\/ICST.2017.43”}，｛“key”：“8_CR26”，“非结构化”：“Pferscher，A.，Aichernig，B.，Tappler，M.：从被动到主动：有效学习时间自动机。在：NFM 2020（2020）。https:\/\/ti.arc.nasa.gov\/events\/NFM-202\/”}，｛“issue”：“8”，“key”：“8_CR27”，“DOI断言”：“publisher”，“首页”：“1282”，“DOI“：”10.1109\/26.156631“，”volume“：”40“，”author“：”YN Shen“，”year“：”1992“，”unstructured“：”Shen，YN.，Lombardi，F.，Dahbura，A.T.：使用多个UIO序列进行协议一致性测试。IEEE传输。Commun公司。40（8），1282\u20131287（1992）“，“期刊标题”：“IEEE Trans。Commun公司。“}，{”key“：”8_CR28“，”unstructured“：”Smetsers，R.，Volpato，M.，Vaandrager，F.W.，Verwer，S.：“越大越好：主动自动机学习中假设的质量。摘自：ICGI 2014，pp.167\u2013181（2014）。http://\/processes.mlr.press\/v34\/smetsers14a.html“}”，{“key”：“8_CR29”，“series-title”：“计算机科学课堂笔记”，“doi-asserted-by“：“publisher”，“first page”：“216”，“doi”：“10.1007\/978-3-030-29662-9_13”，“volume-title”：“时间系统的形式化建模和分析”，“author”：“M Tappler”，“year”：“2019”，“unstructured”：“Tappler，M.，Aichernig，B.K.，Larsen，K.G.，Lorber，F.：从测试中学习时间自动机的时间。收录：Andr\u00e9，\u00c9.，Stoelinga，M.（编辑）格式2019。LNCS，第11750卷，第216\u2013235页。查姆施普林格（2019）。https:\/\/doi.org\/10.1007\/978-3-030-29662-9_13“}，{“问题”：“2”，“密钥”：“8_CR30”，“doi-asserted-by”：“出版商”，“首页”：“86”，“doi”：“10.1145\/2967606”，“卷”：“60”，“作者”：“F Vaandrager”，“年份”：“2017”，“非结构化”：“Vaandraker，F.：模型学习。Commun.ACM 60（2），86\u201395（2017）“，”journal-title“：”Commun.ACM“}，{”issue“：”11“，”key“：”8_CR31“，”doi-asserted-by“：”publisher“，”first page“：”1134“，”doi“：”10.1145\/1968.1972“，”volume“：“27”，”author“：”LG Valiant“，”year“：”1984“，”unstructured“：”Valiant，L.G.：可学习理论。Commun公司。ACM 27（11），1134\u20131142（1984）“，“新闻标题”：“Commun。ACM“}，{”issue“：”3“，”key“：”8_CR32“，”doi-asserted-by“：”publisher“，”first page“：“606”，“doi”：“10.1016\/j.ic.2010.11.023”，“volume”：“209”，“author”：“S Verwer”，“year”：“2011”，“unstructured”：“Verwer，S.，De Weerdt，M.，Witteveen，C.：识别时间自动机的效率和时钟的功率。Inf.Compute.209（3），606\u2013625（2011）“，”journal-title“：”信息计算。“}，{”issue“：”3“，”key“：”8_CR33“，”doi-asserted-by“：”publisher“，”first-page“：”295“，”doi“：”10.1007\/s10994-011-5265-4“，”volume“：“86”，“author”：“S Verwer”，“year”：“2011”，“unstructured”：“Verwer，S.，de Weerdt，M.，Witteveen，C.：从标记数据中有效识别确定性实时自动机。Mach.Learn.86（3），295\u2013333（2011）.https:\\/\/doi.org/10.1007\\s10994-011-5265-4”，“期刊标题”：“马赫。学习。“}]，”container-title“：[”Formal Methods and Software Engineering“，”Letch Notes in Computer Science“]，”original-title”：[]，”link“：[{”URL“：”http://\/link.springer.com/content\/pdf\/10.1007\/978-3-030-63406-3_8“，”content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]“，”deposed“：{”date-parts“：[2021,2,24]]，“date-time”：“2021-02-24T14:31:42Z”，“timestamp”：1614177102000}，“score”：1，“resource”：{“primary”：}“URL”：“http://\/link.springer.com\/10.1007\/978-3-030-63406-3_8”}}，”subtitle“：[]，”shorttitle“：[]，”issued“：{”date-parts“：[2020年]}”，“ISBN”：[“9783030634056”，“978330634063”]，“references-count”：33，“URL”：“http://\/dx.doi.org\/10.1007\/978-3-030-63406-3_8”，“关系”：｛｝，“ISSN”：[“0302-9743”，“1611-3349”]，“ISSN类型”：[｛“value”：“0302-9743”，“type”：“print”｝，｛“value”：“1611-3349”，“type”：“electronic”｝，“subject”：[]，“published”：｛“date parts”：[[2020]]｝，“assertion”：[｛“value”：“2020年12月19日”，“order”：1，“name”：“first_online”，“label”：“first online”，“group”：｛“name”：“章节历史”，“label”：“章节历史”｝}，{“value”：“ICFEM”，“order”：1，“name”：“conference_acrombior”，“label”：“conference-Acrombirony”，“group”：{“name”:“ConferenceInfo”，“标签”：“会议信息”}}，{”value“：“正式工程方法国际会议”，“订单”：2，“名称”：“onference_name”，{“value”：“Singapore”，“order”：3，“name”：“conference_city”，“label”：“ConferenceCity”，“group”：{“name”:“ConferenceInfo”，“table”：“会议信息”}}，{“value”：“新加坡”，“订单”：4，“name“：”conference_country“，”label“：”会议国家“，”group“：{”name“：“ConfeenceInfo”：“conference_year”，“label”：“会议年份”，“group”：{“name”：“ConferenceInfo”，“标签”：“大会信息”}}，{“value”：“2020年3月1日”，“订单”：7，“name”:“conference_start_date”，”label“：“会议开始日期”，“组”：{“name”∶“ConferenceInfo”“”：“会议结束日期”，“组”：{“name”：“ConferenceInfo”，“label”：“会议信息”}}，{“value”：“22”，“order”：9，“名称”：“Conference_number”，”label“：”会议编号“，”group“：{”name“：”ConferenceInformo“，”lable“：”conferenceInformation“}，”{“值”：“icfem2020”，“订单”：10，“name”:“Conference_id”，“标签”：”会议id“，”group“：会议信息“，“label”：“Conference Information”}}，{“value”：“https:\/\/formal-analysis.com/icfem\/2020\/”，“order”：11，“name”：“Conference_url”，“label:”会议url“，”group“：{”name“：”ConferenceInfo“，”label“：”会议信息“}，”{“value”：“Single-blind”，“order”：1，“name“：信息“，”标签“：“同行评议信息（由会议组织者提供）”}}，{“value”：“EasyChair”，“order”：2，“name”：“conference_management_system”，“label”：“会议管理系统”，“group”：{“name”:“ConfEventPeerReviewInformation”，“table”：“同行评审信息（由大会组织者提供）：“number_of_submissions_sent_for_review”，“label”：“发送供审阅的提交数”，“group”：{“name”：“ConfEventPeerReviewInformation”，“标签”：“同行审阅信息（由会议组织者提供）”}}，{“value”：“16”，“order”：4，“name”:“number.of_full_papers_accepted”：“ConfEventPeerReviewInformation”，“label”：“同行评审信息（由会议组织者提供）”}}：“39%-该值由等式“已接受的全文数”计算，然后四舍五入为整数。”，“order”：6，“name”：“acceptance_rate_of_Full_Papers”，“label”：“全文接受率”，“group”：{“name”:“ConfEventPeerReviewInformation”，“标签”：“同行评议信息（由会议组织者提供）”}}，{“value”：“3”，“order”：7，“name”：“average_number_of_reviews_per_paper”，“label”：“每篇论文的平均评论数”，“group”：{“name”:“ConfEventPeerReviewInformation”，“table”：“同行评审信息（由大会组织者提供）：“average_number_of_papers_per_reviewer”，“label”：“每位审阅者的平均论文数”，“group”：{“name”：“ConfEventPeerReviewInformation”，“table”：“同行审阅信息（由会议组织者提供）”}}，{“value”：“No”，“order”：9，“name”:“external_reviewers_involved”：“ConfEventPeerReviewInformation”，“label”：“Peer Review Information（由会议组织者提供）”}}，{“value”：“1篇博士论文摘要”，“order”：10，“name”：“additional_info_on_Review_process”：“同行评审信息（由会议组织者提供）”}}]}}