{“id”：“https://openalex.org/W3080721653“，”doi“：”https://doi.org/10.1007/978-3-030-54549-9_8“，”title“：”使用符号自动机学习和归纳推理将安全LTL高效转换为DFA“，”display_name“：”利用符号自动机的学习和归纳推断将安全LTI高效转换为DFSA“，“publication_year”：2020，“publitation_date”：“2020-01-01”，“ids”：{“openalex”：“https://openalex.org/W3080721653“，”doi“：”https://doi.org/10.1007/978-3-030-54549-9_8“，”mag“：”3080721653“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/978-3-030-54549-9_8“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S106296714“，”display_name“：”计算机科学讲义“，”issn_l“：”0302-9743“，”isn“：[”0302-7743“、”1611-3349“]，”is_oa“：false、”is_in_doaj“：false、”is_core“：true、”host_organization“：”https://openalex.org/P4310318900“，”“host_organization_name”：“Springer Science+Business Media”，“host_organization_lineage”：[“https://openalex.org/P4310319965","https://openalex.org/P4310318900“]，”host_organization_lineage_names“：[”Springer Nature“，”Springer-Science+Business Media“]，“type”：“book-series”}，“license”：null，“licence_id”：nul，“version”：null，“is_accepted”：false，“is_published”：false}，”type“：”book-chapter“，”type_crossref“：“book-chapter”，”indexed_in“：[“crossref”]，”open_access“：{”is_oa“：false”“，”oa_url“：空，”any_repository_has_fulltext“：false}，”作者身份“：[{”作者位置“：”第一个“，”作者“：{”id“：”https://openalex.org/A5003462674“，”display_name“：”Georgios Giantamidis“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I4210159603“，”display_name“：”联合技术研究中心“，”ror“：”https://ror.org/04vxc1c96“，”“country_code”“：”IE“，”type“：”company“，”seriance“：[”https://openalex.org/I4210159603“]}]，”国家“：[”IE“]，”is_corresponding“：false，”raw_author_name“：”Georgios Giantamidis“，”raw _affiliation_strings“：[“爱尔兰科克联合技术研究中心”]，”affiliations“：[{”raw _affiliation_string“：”爱尔兰科克爱尔兰联合技术研究院“，”institution_ids“：[https://openalex.org/I4210159603“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5080661611“，”display_name“：”Stylianos Basagiannis“，”orcid“：”https://orcid.org/0000-0002-4513-0541}，“机构”：[{“id”：https://openalex.org/I4210159603“，”display_name“：”联合技术研究中心“，”ror“：”https://ror.org/04vxc1c96“，”“country_code”“：”IE“，”type“：”company“，”seriance“：[”https://openalex.org/I4210159603“]}]，”国家“：[”IE“]，”is_corresponding“：false，”raw_author_name“：”Stylianos Basagiannis“，”raw _ afiliation_strings“：[“爱尔兰科克联合技术研究中心”]，”affiliations“：[{”raw _affiliation_string“：”爱尔兰科克爱尔兰联合技术研究院“，”institution_ids“：[https://openalex.org/I4210159603“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5080042319“，”display_name“：”Stavros Tripakis“，”orcid“：”https://orcid.org/0000-0002-1777-493X}，“机构”：[{“id”：https://openalex.org/I12912129“，”display_name“：”东北大学“，”ror“：”https://ror.org/04t5xt781“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I12912129“]｝]，”国家“：[”美国“]，”is_corresponding“：false，”raw_author_name“：”Stavros Tripakis的时间：“）的的一份一份份其是https://openalex.org/I12912129“]}]}]，”institution_assertions“：[]，”countries_distiction_count“：2，”institutions_disticent_count”：2，“corresponding_author_ids”：[]、“correspending_institution_ids“：[[]，”apc_list“：{“value”：5000，“currency”：“EUR”，“value_usd”：5392，“provenance”：“doaj”}，“apc_payed”：null，“fwci”：0.0，“has_fulltext”：false，“cited_by_”count“：0，”引用规范化百分比“：{”value“：0.0，”is_in_top_1_percent“：false，”is-in_top_10_percennt“：false}，”cited_by_percentile_year“：{”min“：0，”max“：61}，“biblio”：{“volume”：null，“issue”：null，“first_page”：“115”，“last_page”：“129”}，《is_retracted》：false、“is_paratext”：false；“primary_topic”：{“id”：“https://openalex.org/T12072“，”“display_name”：“机器学习研究中的主动学习”，“score”：0.9995，“subfield”：{“id”：“https://openalex.org/subfields/s702“，”display_name“：”人工智能“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，”主题“：[{”id“：”https://openalex.org/T12072“，”“display_name”：“机器学习研究中的主动学习”，“score”：0.9995，“subfield”：{“id”：“https://openalex.org/subfields/s702“，”display_name“：”人工智能“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，{”id“：”https://openalex.org/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9967，“subfield”：{“id”：“https://openalex.org/subfields/1703“，”display_name“：”计算理论与数学“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，{”id“：”https://openalex.org/T10743“，”“display_name”：“自动化软件测试技术”，“score”：0.9875，“subfield”：{“id”：“https://openalex.org/subfields/1712“，”display_name“：”软件“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}]，”关键词“：[{”id“：”https://openalex.org/keywords/complementation网站“，”display_name“：”完整性（有序理论）“，”score“：0.55449754｝，｛”id“：”https://openalex.org/keywords/grammar-inducation网站“，”display_name“：”语法归纳“，”score“：0.51237404}，{”id“：”https://openalex.org/keywords/safety-verification网站“，”display_name“：”安全验证“，”score“：0.51}，{”id“：”https://openalex.org/keywords/active-learning网站“，”display_name“：”主动学习“，”score“：0.509891}]，”concepts“：[{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.843742}，{”id“：”https://openalex.org/C112505250，“wikidata”：https://www.wikidata.org/wiki/Q787116“，”display_name“：”Automaton“，”level“：2，”score“：0.7550446}，{”id“：”https://openalex.org/C2776214188，“wikidata”：https://www.wikidata.org/wiki/Q408386“，”display_name“：”推理“，”level“：2，”score“：0.580807}，{”id“：”https://openalex.org/C17231256，“wikidata”：https://www.wikidata.org/wiki/Q5156540（网址：https://www.wikidata.org/wiki/Q5156540）“，”display_name“：”完备性（序理论）“，”level“：2，”score“：0.55449754}，{”id“：”https://openalex.org/C149364088，“wikidata”：https://www.wikidata.org/wiki/Q185917“，”display_name“：”Translation（biology）“，”level“：4，”score“：0.52085525}，{”id“：”https://openalex.org/C56601403，“wikidata”：https://www.wikidata.org/wiki/Q5593673（网址：https://www.wikidata.org/wiki/Q5593673）“，”display_name“：”语法归纳“，”level“：3，”score“：0.51237404}，{”id“：”https://openalex.org/C110251889，“wikidata”：https://www.wikidata.org/wiki/Q1569697“，”display_name“：”模型检查“，”级别“：2，”分数“：0.42942938}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.42667663}，{”id“：”https://openalex.org/C154945302，“wikidata”：https://www.wikidata.org/wiki/Q11660“，”display_name“：”人工智能“，”level“：1，”score“：0.4160703}，{”id“：”https://openalex.org/C11413529，“wikidata”：https://www.wikidata.org/wiki/Q8366“，”display_name“：”Algorithm“，”level“：1，”score“：0.3548766}，{”id“：”https://openalex.org/C53893814，“wikidata”：https://www.wikidata.org/wiki/Q7378909“，”display_name“：”基于规则的机器翻译“，”level“：2，”score“：0.144274}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.07572463}，{”id“：”https://openalex.org/C134306372，“wikidata”：https://www.wikidata.org/wiki/Q7754“，”display_name“：”数学分析“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C55493867，“wikidata”：https://www.wikidata.org/wiki/Q7094“，”display_name“：”生物化学“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C185592680，“wikidata”：https://www.wikidata.org/wiki/Q2329“，”display_name“：”Chemistry“，”level“：0，”score“：0.0}，{”id“：”https://openalex.org/C105580179，“wikidata”：https://www.wikidata.org/wiki/Q188928“，”display_name“：”Messenger RNA“，”level“：3，”score“：0.0}，{”id“：”https://openalex.org/C104317684，“wikidata”：https://www.wikidata.org/wiki/Q7187“，”display_name“：”Gene“，”level“：2，”score“：0.0｝]，”mesh“：[]，”locations_count“：1，”locations“：[｛”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/978-3-030-54549-9_8“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S106296714“，”display_name“：”计算机科学讲义“，”issn_l“：”0302-9743“，”isn“：[”0302-7743“、”1611-3349“]，”is_oa“：false、”is_in_doaj“：false、”is_core“：true、”host_organization“：”https://openalex.org/P4310318900“，”“host_organization_name”：“Springer Science+Business Media”，“host_organization_lineage”：[“https://openalex.org/P4310319965","https://openalex.org/P4310318900“]，”host_organization_lineage_names“：[”Springer Nature“，”Springer-Science+Business Media“]，“type”：“book series”}，“license”：null，“licence_id”：null，“version”：null，“is_accepted”：false，“is_published”：false}]，“best_oa_location”：nul，“sustainable_development_goals”：[]，“grants”：[]，“dataset”：[]]，“versions”：[】，“referenced_works_count”：31，“referenced_works“：[”https://openalex.org/W106154156","https://openalex.org/W138607541","https://openalex.org/W1489391022","https://openalex.org/W1506588809","https://openalex.org/W1526922602","https://openalex.org/W1529010373","https://openalex.org/W1540883472","https://openalex.org/W1573354578","https://openalex.org/W1754034137","https://openalex.org/W179423627","https://openalex.org/W1965024948","https://openalex.org/W1984478483","https://openalex.org/W1989445634","https://openalex.org/W2054160712","https://openalex.org/W2060944709","https://openalex.org/W2089003125","https://openalex.org/W2093916942","https://openalex.org/W2094878426","https://openalex.org/W2107182799","https://openalex.org/W2130290065","https://openalex.org/W2131064738","https://openalex.org/W2522043470","https://openalex.org/W2600860451","https://openalex.org/W2676873924","https://openalex.org/W2884525686","https://openalex.org/W2987803397","https://openalex.org/W3136212788","https://openalex.org/W315890393","https://openalex.org/W4241372395","https://openalex.org/W4249429970","https://openalex.org/W53168734“]，”related_works“：[”https://openalex.org/W4301250310","https://openalex.org/W4237277701","https://openalex.org/W2746280673","https://openalex.org/W2560415449","https://openalex.org/W2296039000","https://openalex.org/W2152996796","https://openalex.org/W2121424666","https://openalex.org/W2055420561","https://openalex.org/W1594593035","https://openalex.org/W1587028174“]，”abstract_inverted_index“：{“安全”：[0]，”LTL“：[1,60117]，”属性“：[2,19,61]，”是“：[3]，”无处不在“：[4]，”in“：[5,27,35]，”the“：[6,50,80115]，”verification“：[7,29]，”of“：[8,42,9010114]，”Safety“：[9,59]，”critical“：[10]，”systems“：[11]，”There“：[12]，”is“：[13]，“已经”：[14]，“证据”：[15122]，“那”：[16,82]，“翻译”：[17]，“转换为”：[20,62]，“DFA”：[21]，“而不是”：[22]，“而非”：[23]，“B\u00fcchi”：[24]，“自动机”：[25]，“结果”：[26]，“更快”：[28]，“次数”：[30]，“常规”：[31]，“翻译”：[32129]，“策略”：[33]，“可以”：[34,72106]，“一些”：[36]，“案例”：[37]，“使用”：[38]，“不必要”：[39]，“大”：[40]，“金额”：[41]，“资源”：[43]，“我们”：[44,65]，“开发”：[45]，“a”：[46104]，“符号”：[47,63]，“适应”：[48]，“$$L^*$$”：[51]，“主动”：[52]，“学习”：[53]，“算法”：[54,81]，“裁剪”：[55]，“到”：[56,75,79]，“有效”：[57]，“翻译”：[58]，“DFA.”：[64]，“演示”：[66]，“如何”：[67102]，“an”：[68,97]，“归纳”：[69]，“推理”：[70]，“过程”：[71105]，“be”：[73107]，“used”：[74]，“provide”：[76,96120]，“additional”：[77]，“input”：[78]，“极大”：[83]，“改进”：[84]，“性能”：[85]，“对于”：[86]，“确定”：[87]，“非常重要”：”：并”重要的（多份），了。，“易“：[109]，”比较“：[111]，”与“：[112]，”状态“：[113]，”艺术“：[116]，“翻译人员”：[118]，“实验”：[121]，“其中”：[123]，“我们的”：[124]，“方法”：[125]，“显著”：[126]，“表现优异”：[127]，“常规”：[128]，“策略”：[130]}，“引用_by_api_url”：“https://api.openalex.org/works？filter=cites:W3080721653“，”counts_by_year“：[]，”updated_date“：”2024-09-25T20:14:12.915845“，”created_date:“2020-09-01”}“