{“id”：“https://openalex.org/W4226151760“，”doi“：”https://doi.org/10.1007/978-3-030-99524-9_30“，”title“：”Searching for Ribbon Shape Paths in Fair Transition Systems“，”display_name“：”在公平过渡系统中搜索带状路径“，”publication_year“：2022，”publitation_date“：”2022-01-01“，”ids“：{”openalex“：”https://openalex.org/W4226151760“，”doi“：”https://doi.org/10.1007/978-3-030-99524-9_30“}，”language“：”en“，”primary_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1007/978-3-030-99524-9_30，“pdf_url”：https://link.springer.com/content/pdf/10.1007/978-3-030-99524-9_30.pdf，“源”：{“id”：https://openalex.org/S106296714“，”“display_name”“：”“计算机科学课堂讲稿”“，”issn_l“：”0302-9743“，”isn“：[”0302-7743“、”1611-3349“]，”is_oa“：false，”is_in_doaj“：false，”host_organization“：”https://openalex.org/P4310318900“，”“host_organization_name”：“Springer Science+Business Media”，“host_organization_lineage”：[“https://openalex.org/P431031965","https://openalex.org/P4310318900“]，”host_organization_lineage_names“：[”Springer Nature“，”Springr Science+Business Media“]，“type”：“book series”}，“license”：“cc-by”，“licence_id”：“https://openalex.org/licenses/cc-by“，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true｝，”type“：”图书章节“，”type_crossref“：”图书章节“，”indexed_in“：[”crossref“]，”open_access“：｛”is_oa“：true，”oa_status“：”hybrid“，”oa_url“：”https://link.springer.com/content/pdf/10.1007/978-3-030-99524-9_30.pdf“，”any_repository_has_fulltext“：false｝，”authorships“：[｛”author_position“：”first“，”author“：｛”id“：”https://openalex.org/A5076775585“，”display_name“：”Marco Bozzano“，”orcid“：”https://orcid.org/0000-0002-4135-103X}，“机构”：[{“id”：https://openalex.org/I2277624104“，”display_name“：”Bruno Kessler基金会“，”ror“：”https://ror.org/01j33xk10“，”“country_code”“：”IT“，”type“：”facility“，”lineage“：[”https://openalex.org/I2277624104“]}]，”国家“：[”IT“]，”is_corresponding“：false，”raw_author_name“：”Marco Bozzano“，”raw _affiliation_strings“：[“Fondazione Bruno Kessler（FBK），via Sommarive，18，Trento，38123，Italy”]}，{“author_position”：“middle”，“author”：{“id”：“https://openalex.org/A5017426974“，”display_name“：”Alessandro Cimatti“，”orcid“：”https://orcid.org/0000-0002-1315-6990}，“机构”：[{“id”：https://openalex.org/I2277624104“，”display_name“：”Bruno Kessler基金会“，”ror“：”https://ror.org/01j33xk10“，”“country_code”“：”IT“，”type“：”facility“，”lineage“：[”https://openalex.org/I2277624104“]}]，”国家“：[”IT“]，”is_corresponding“：false，”raw_author_name“：”Alessandro Cimatti“，”raw _affiliation_strings“：[“Fondazione Bruno Kessler（FBK），via Sommarive，18，Trento，38123，Italy”]}，{“author_position”：“middle”，“author”：{“id”：“https://openalex.org/A5018618502“，”display_name“：”Stefano Tonetta“，”orcid“：”https://orcid.org/0000-0001-9091-7899}，“机构”：[{“id”：https://openalex.org/I2277624104“，”display_name“：”Bruno Kessler基金会“，”ror“：”https://ror.org/01j33xk10“，”“country_code”“：”IT“，”type“：”facility“，”lineage“：[”https://openalex.org/I2277624104“]}]，”国家“：[”IT“]，”is_corresponding“：false，”raw_author_name“：”Stefano Tonetta“，”raw _affiliation_strings“：[“Fondazione Bruno Kessler（FBK），via Sommarive，18，Trento，38123，Italy”]}，{“author_position”：“last”，“author”：{“id”：“https://openalex.org/A502041933“，”display_name“：”Vikt\u00f3ria Voz\u00e1rov\u00e“，”orcid“：”https://orcid.org/0000-0001-8506-8212}，“机构”：[{“id”：https://openalex.org/I2277624104“，”display_name“：”Bruno Kessler基金会“，”ror“：”https://ror.org/01j33xk10“，”“country_code”“：”IT“，”type“：”facility“，”lineage“：[”https://openalex.org/I2277624104“]}]，”国家“：[”IT“]，”is_corresponding“：false，”raw_author_name“：”Viktoria Vozarova“，”raw _affiliation_strings“：【”Fondazione Bruno Kessler（FBK），via Sommarive，18，Trento，38123，Italy“】}，”countries_distiction_count“：1，”institutions_distition_count列表“：{”值“：5000，”货币“：”EUR“，”value_usd“：5392，”出处“：”doaj“}，”apc_payed“：{”value“：5000，”货币“：“EUR”，“value_usd:5392，“出处”：“doaj”}，“has_fulltext”：true，“fulltext_origin”：“pdf”，“cited_by_count”：0，“cited_by_percentile_year”：{“min”：0、“max”：67}、“biblio”：{“volume”：null，“issue”：nul，“first_page”：“543”，“last_page”：“560”}，“is_retracted”：false，“is_paratext“：false，”primary_topic“：{”id“：”https://openalex.org/T10142“，”display_name“：”软件验证和控制中的正式方法“，”score“：0.9983，”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“：”Physical Sciences“｝｝，”topics“：[｛”id“：”https://openalex.org/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9983，“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/T11125“，”“display_name”：“系统中Petri网的建模与控制”，“score”：0.997，“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/T11741“，”“display_name”：“可重构制造系统的设计与操作”，“score”：0.9902，“subfield”：{“id”：“https://openalex.org/subfields/2209“，”display_name“：”工业和制造工程“}，”字段“：{”id“：”https://openalex.org/fields/22“，”display_name“：”Engineering“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}]，”关键词“：[{”id“：”https://openalex.org/keywords/diagnosability分析“，”display_name“：”可诊断性分析“，”score“：0.581361}，{”id“：”https://openalex.org/keywords/model-checking“，”display_name“：”模型检查“，”score“：0.533749}，{”id“：”https://openalex.org/keywords/runtime验证“，”display_name“：”Runtime Verification“，”score“：0.522405}，{”id“：”https://openalex.org/keywords/safety-verification网站“，”display_name“：”安全验证“，”score“：0.501509}，{”id“：”https://openalex.org/keywords/fault-diagnosis网站“，”display_name“：”故障诊断“，”score“：0.501422}]，”concepts“：[{”id“：”https://openalex.org/C15569618，“wikidata”：https://www.wikidata.org/wiki/Q3561421“，”display_name“：”Liveness“，”level“：2，”score“：0.92116094}，{”id“：”https://openalex.org/C162838799，“wikidata”：https://www.wikidata.org/wiki/Q596077“，”display_name“：”反例“，”level“：2，”score“：0.77449846}，{”id“：”https://openalex.org/C32848918，“wikidata”：https://www.wikidata.org/wiki/Q845789“，”display_name“：”Observable“，”level“：2，”score“：0.7743385}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.69233733}，{”id“：”https://openalex.org/C112505250，“wikidata”：https://www.wikidata.org/wiki/Q787116“，”display_name“：”Automaton“，”level“：2，”score“：0.64563787}，{”id“：”https://openalex.org/C2779167558，“wikidata”：https://www.wikidata.org/wiki/Q176468“，”display_name“：”过渡系统“，”level“：2，”score“：0.64514065}，{”id“：”https://openalex.org/C11413529，“wikidata”：https://www.wikidata.org/wiki/Q8366“，”display_name“：”Algorithm“，”level“：1，”score“：0.51648474}，{”id“：”https://openalex.org/C2780392137，“wikidata”：https://www.wikidata.org/wiki/Q17121801“，”display_name“：”Ribbon“，”level“：2，”score“：0.49748304｝，｛”id“：”https://openalex.org/C110251889，“wikidata”：https://www.wikidata.org/wiki/Q1569697“，”display_name“：”模型检查“，”level“：2，”score“：0.49110103}，{”id“：”https://openalex.org/C48103436，“wikidata”：https://www.wikidata.org/wiki/Q599031“，”display_name“：”State（computer science）“，”level“：2，”score“：0.4573502}，{”id“：”https://openalex.org/C167822520，“wikidata”：https://www.wikidata.org/wiki/Q176452“，”display_name“：”Finite-state machine“，”level“：2，”score“：0.4146579}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974网址“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.39461076}，{”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416“，”display_name“：”离散数学“，”level“：1，”score“：0.29876745}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.22604752}，{”id“：”https://openalex.org/C121332964，“wikidata”：https://www.wikidata.org/wiki/Q413“，”display_name“：”物理“，”等级“：0，”分数“：0.092654645}，{”id“：”https://openalex.org/C2524010，“wikidata”：https://www.wikidata.org/wiki/Q8087“，”display_name“：”Geometry“，”level“：1，”score“：0.09010956}，{”id“：”https://openalex.org/C62520636，“wikidata”：https://www.wikidata.org/wiki/Q944网址“，”display_name“：”量子力学“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：1.”locations“：[{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1007/978-3-030-99524-9_30，“pdf_url”：https://link.springer.com/content/pdf/10.1007/978-3-030-99524-9_30.pdf，“源”：{“id”：https://openalex.org/S106296714“，”“display_name”“：”“计算机科学课堂讲稿”“，”issn_l“：”0302-9743“，”isn“：[”0302-7743“、”1611-3349“]，”is_oa“：false，”is_in_doaj“：false，”host_organization“：”https://openalex.org/P4310318900“，”“host_organization_name”：“Springer Science+Business Media”，“host_organization_lineage”：[“https://openalex.org/P431031965","https://openalex.org/P4310318900“]，”host_organization_lineage_names“：[”Springer Nature“，”Springr Science+Business Media“]，“type”：“book series”}，“license”：“cc-by”，“licence_id”：“https://openalex.org/licenses/cc-by“，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}]，”best_oa_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1007/978-3-030-99524-9_30，“pdf_url”：https://link.springer.com/content/pdf/10.1007/978-3-030-99524-9_30.pdf，“源”：{“id”：https://openalex.org/S106296714“，”“display_name”“：”“计算机科学课堂讲稿”“，”issn_l“：”0302-9743“，”isn“：[”0302-7743“、”1611-3349“]，”is_oa“：false，”is_in_doaj“：false，”host_organization“：”https://openalex.org/P4310318900“，”“host_organization_name”：“Springer Science+Business Media”，“host_organization_lineage”：[“https://openalex.org/P431031965","https://openalex.org/P4310318900“]，”host_organization_lineage_names“：[”Springer Nature“，”Springr Science+Business Media“]，“type”：“book series”}，“license”：“cc-by”，“licence_id”：“https://openalex.org/licenses/cc-by“，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}，”sustainable_development_goals“：[]，”grants“：[]，”datasets“：]，”versions“：[https://openalex.org/W1495266209","https://openalex.org/W1504706001","https://openalex.org/W1573354578","https://openalex.org/W1612453857","https://openalex.org/W1712895775","https://openalex.org/W1985787415","https://openalex.org/W2104658241","https://openalex.org/W2147348835","https://openalex.org/W2147774669","https://openalex.org/W233122475","https://openalex.org/W2804240010","https://openalex.org/W2884407740","https://openalex.org/W2950420876","https://openalex.org/W2958068121","https://openalex.org/W3023191323","https://openalex.org/W3138459719“]，”related_works“：[”https://openalex.org/W4247116705","https://openalex.org/W4243213620","https://openalex.org/W2584856343","https://openalex.org/W2389916653","https://openalex.org/W2166000786","https://openalex.org/W2095899592","https://openalex.org/W2075922538","https://openalex.org/W1997072713","https://openalex.org/W1559791232","https://openalex.org/W1511759343“]，”ngrams_url“：”https://api.openalex.org/works/W4226151760/ngrams“，”“abstract_inverted_index”：{“abstract”：[0]，“Diagnosability”：[1,13]，“is”：[2,22,52]，“a”：[3,55,75109]，“basic”：[4]，“problem”：[5,64,88]，“of”：[6,20,34,44]，“partial”：[7]，“observable”：[8,18]，“systems”：[9]，“in”：[10,41,77108]，“safety-critical”：[11]，“design.”：[12]，“verification”：[14]，“检查”：[15]，“如果”：[16]，“该”：[17,42,45,48,78,87,91114117123]，“部件“：[19]，”系统“：[21,49]，”足够“：[23]，”到“：[24,30,66,85,94104]，”检测“：[25]，”部分“：[26]，”故障。“：[27]，”A“：[28]，”反例“：[29]，”可诊断性“：[31106127]，”may“：[32]，”组成“：[33]，”无限“：[35]，”多“：[36]，”不可区分“：[37]，”记录道“：[38]，”that“：[39]，”different“：[40]，”occurrence“：%43]，”fault。“：[46]，”当“：[47]，”下“：[50]，”分析“：[51]，”建模“：[53]，”作为“：[54]，”B\u00fcchi“：[56]，”自动机“：[57]，”或“：[58]，”有限状态“：[59]，”公平“：[60]，”过渡“：[61]，”系统“：[62]，”此“：[63,81]，”减少“：[65]，”外观“：[67,95]，”for“：[68,96]，“带状”：[69]，“路径”：[70]，“即”：[71]，“公平”：[72]，“道路”：[73]，“带”：[74]，“回路”：[76]，“中间”。“：[79]，”In“：[80]，”paper“：[82]，”we“：+83]，”propose“：[84]，”solve“：[86]，”by“：[89112]，”extending“：[90]，”liveness-to-safety“：[92]，”approach“：/93124]，”lasso-shaped“：[97]，”paths。“：[98]，“The”：[99]，“algorithm”：[100]，“can”：[101]，“be”：[102]，“applied”：[103]，“variable”：[105126]，“conditions”：[107115]，“uniform”：[110]，“way”：%11]，“changing”：[113]，“on”：[116125]，“loops”。“：[118]，”我们“：[119]，”实施“：[120]，”和“：[121]，”评估“：[122]，”基准。“：[128]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W4226151760“，”counts_by_year“：[]，”updated_date“：”2024-05-19T19:48:00.866038“，”created_date“：”2022-05-05“｝