{“id”：“https://openalex.org/W3016987319“，”doi“：”https://doi.org/10.14232/actacyb.24.3.2020.2“，”title“：”Sound Over-Approximation of Probabilities“，”display_name“：”Sound Over-Approsimation of probabilitis“，”publication_year“：2020，”publiation_date“：”2020-03-16“，”ids“：{”openalex“：”https://openalex.org/W3016987319“，”doi“：”https://doi.org/10.14232/actacyb.24.3.2020.2“，”mag“：”3016987319“}，”language“：”en“，”primary_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.14232/actacyb.24.3.2020.2，“pdf_url”：https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/download/4041/3988，“源”：{“id”：https://openalex.org/S5962179“，”“display_name”“：”“控制论学报”“，”issn_l“：”0324-721X“，”https://openalex.org/P4310315420“，”“host_organization_name”：“塞格德大学”，“host_organization_lineage”：[“https://openalex.org/P4310315420“]，”host_organization_lineage_names“：[”塞格德大学“]，“type”：“journal”}，“license”：null，“licence_id”：null，“version”：“publishedVersion”，“is_accepted”：true，“is_published”：true}，”type“：”article“，”type_crossref“：“jornal-article”，“indexed_in”：[”crossref“]，：“https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/download/4041/3988“，”any_repository_has_fulltext“：true}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5060518986“，”display_name“：”Eugenio Moggi“，”orcid“：”https://orcid.org/0000-0001-8018-6543}，“机构”：[{“id”：https://openalex.org/I83816512“，”display_name“：”热那亚大学“，”ror“：”https://ror.org/0107c5v14“，”country_code“：”IT“，”type“：“教育”，”世系“：[”https://openalex.org/I83816512“]｝]，”国家“：[”IT“]，”is_correresponsing“：false，”raw_author_name“：”Eugenio Moggi“，”raw_affiation_strings“：[”热那亚大学“]，”附属机构“：[｛”raw_affiation_string“：”热那亚大学“，”institution_ids“：[”https://openalex.org/I83816512“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5008976751“，”display_name“：”Walid Taha“，”orcid“：”https://orcid.org/0000-0003-3160-9188}，“机构”：[{“id”：https://openalex.org/I746986“，”display_name“：”哈尔姆斯塔德大学“，”ror“：”https://ror.org/03h0qfp10“，”country_code“：”SE“，”type“：“教育”，”世系“：[”https://openalex.org/I746986“]}]，”countries“：[”SE“]，”is_corresponding“：false，”raw_author_name“：”Walid Taha“，”raw _affiliation_strings“：【”Halmstad University“】，”affiliations“：[{”raw _affiliation_string“：”Halmstard University'，”institution_ids“：[“https://openalex.org/I746986“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5034158033“，”display_name“：”Johan Thunberg“，”orcid“：”https://orcid.org/0000-0002-9738-4148}，“机构”：[{“id”：https://openalex.org/I746986“，”display_name“：”哈尔姆斯塔德大学“，”ror“：”https://ror.org/03h0qfp10“，”country_code“：”SE“，”type“：“教育”，”世系“：[”https://openalex.org/I746986“]｝]，”国家“：[”SE“]，”is_correresponsing“：false，”raw_author_name“：”Johan Thunberg“，”raw_affiation_strings“：[”哈尔姆斯塔德大学“]，”附属机构“：[｛”raw_affiation_string“：”哈尔姆斯塔德大学“，”institution_ids“：[”https://openalex.org/I746986“]}]}]，”institution_assertions“：[]，”countries_distiction_count“：2，”institutions_disticent_count”：2，“corresponding_author_ids”：[]、“corresconding_institution_ids“：[].”apc_list“：null，”apc_payed“：null，”fwci“：0.125，”has_fulltext“：true，”fulltext_origin“：”pdf“，”cited_by_count：1，“citation_normalized_percentile”：{“value”：0.4119 85，“is_in_top_1_percent”：假，“is_in_top_10_percent“：false}，”cited_by_percentile_year“：{”min“：62，”max“：70}，“biblio”：{“volume”：“24”，“issue”：“3”，“first_page”：“269”，“last_page”：”285“}”，“is_retracted”：false，“is_paratext”：false，“primary_topic”：{“id”：“https://openalex.org/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.999，“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.999，“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/T10126“，”“display_name”：“程序分析和验证技术”，“score”：0.9942，“subfield”：{“id”：“https://openalex.org/subfields/1702“，”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/T10317“，”“display_name”：“数据流管理系统和技术”，“score”：0.9882，“subfield”：{“id”：“https://openalex.org/subfields/1705“，”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/probabilistic-systems网站“，”display_name“：”概率系统“，”score“：0.592156}，{”id“：”https://openalex.org/keywords/complex-event-processing“，”display_name“：”复杂事件处理“，”score“：0.539568}，{”id“：”https://openalex.org/keywords/temoral-logic网站“，”display_name“：”时态逻辑“，”score“：0.508203}，{”id“：”https://openalex.org/keywords/safety-verification网站“，”display_name“：”安全验证“，”score“：0.507054}，{”id“：”https://openalex.org/keywords/satisfiability模块理论“，”“display_name”：“可满足模理论”，“score”：0.504976}，{“id”：“https://openalex.org/keywords/aloximations-of-\u03c0“，”display_name“：”\u03cO的近似值“，”score“：0.46874812}]，”concepts“：[{”id“：”https://openalex.org/C55439883，“wikidata”：https://www.wikidata.org/wiki/Q360812“，”display_name“：”正确性“，”级别“：2，”分数“：0.8010607}，{”id“：”https://openalex.org/C72169020，“wikidata”：https://www.wikidata.org/wiki/Q194404“，”display_name“：”单调函数“，”level“：2，”score“：0.6478328}，{”id“：”https://openalex.org/C49937458，“wikidata”：https://www.wikidata.org/wiki/Q2599292“，”display_name“：”概率逻辑“，”level“：2，”score“：0.6430509}，{”id“：”https://openalex.org/C192209626，“wikidata”：https://www.wikidata.org/wiki/Q190909“，”display_name“：”焦点（光学）“，”级别“：2，”分数“：0.62935334}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.5606008}，{”id“：”https://openalex.org/C2778067643，“wikidata”：https://www.wikidata.org/wiki/Q166507“，”display_name“：”区间（图论）“，”level“：2，”score“：0.5420488}，{”id“：”https://openalex.org/C11413529，“wikidata”：https://www.wikidata.org/wiki/Q8366“，”display_name“：”Algorithm“，”level“：1，”score“：0.4898898}，{”id“：”https://openalex.org/C193386753，“wikidata”：https://www.wikidata.org/wiki/Q1130396“，”display_name“：”\u03c0的近似值“，”level“：2，”score“：0.46874812}，{”id“：”https://openalex.org/C24404364，“wikidata”：https://www.wikidata.org/wiki/Q7246846“，”display_name“：”算法概率分析“，”level“：3，”score“：0.4180513}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.38025182}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395网址“，”display_name“：”数学“，”等级“：0，”分数“：0.37185562}，{”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416（网址：https://www.wikidata.org/wiki/Q121416）“，”display_name“：”离散数学“，”level“：1，”score“：0.34510052}，{”id“：”https://openalex.org/C28826006，“wikidata”：https://www.wikidata.org/wiki/Q33521“，”display_name“：”应用数学“，”level“：1，”score“：0.2846527}，{”id“：”https://openalex.org/C154945302，“wikidata”：https://www.wikidata.org/wiki/Q11660“，”display_name“：”人工智能“，”level“：1，”score“：0.16608015}，{”id“：”https://openalex.org/C114614502，“wikidata”：https://www.wikidata.org/wiki/Q76592“，”display_name“：”组合数学“，”level“：1，”score“：0.11543733｝，｛”id“：”https://openalex.org/C134306372，“wikidata”：https://www.wikidata.org/wiki/Q7754“，”display_name“：”数学分析“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C121332964，“wikidata”：https://www.wikidata.org/wiki/Q413“，”display_name“：”物理“，”级别“：0，”分数“：0.0}，{”id“：”https://openalex.org/C120665830，“wikidata”：https://www.wikidata.org/wiki/Q14620“，”display_name“：”Optics“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：2，”location“：[{”is_oa“：true，”landing_page_url“：”https://doi.org/10.14232/actacyb.24.3.2020.2，“pdf_url”：https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/download/4041/3988，“源”：{“id”：https://openalex.org/S5962179“，”display_name“：”Acta Cybernetica“，”issn_l“：”0324-721X“，”issn“：[”0324-721X“，”2676-993X“]，”is_oa“：true，”is_in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/P4310315420“，”“host_organization_name”：“塞格德大学”，“host_organization_lineage”：[“https://openalex.org/P4310315420“]，”host_organization_lineage_names“：[”塞格德大学“]，“type”：“journal”}，“license”：null，“licence_id”：null，“version”：“publishedVersion”，“is_accepted”：true，“is_published”：true}，{“is_oa”：true，“landing_page_url”：“https://hdl.handle.net/11567/1006266，“pdf_url”：https://iris.unige.it/bitstream/11567/1006266/2/SWIM-AC18.pdf，“源”：{“id”：https://openalex.org/S4377196291“，”display_name“：”CINECA IRIS Institutional Research Information System（University of Genoa）“，”issn_l“：null，”issn“：null，”is_oa“：false，”is_ in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/I83816512“，”“host_organization_name”：“热那亚大学”，“host_organization_lineage”：[“https://openalex.org/I83816512“]，”host_organization_lineage_names“：[”热那亚大学“]，“type”：“repository”}，“license”：“other-oa”，“licence_id”：“https://openalex.org/licenses/other-oa网站“，”version“：”submittedVersion“，”is_accepted“：false，”is_published“：false}]，”best_oa_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.14232/actacyb.24.3.2020.2，“pdf_url”：https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/download/4041/3988，“源”：{“id”：https://openalex.org/S5962179“，”“display_name”“：”“控制论学报”“，”issn_l“：”0324-721X“，”https://openalex.org/P4310315420“，”“host_organization_name”：“塞格德大学”，“host_organization_lineage”：[“https://openalex.org/P4310315420“]，”host_organization_lineage_names“：[”塞格德大学“]，“type”：“journal”}，“license”：null，“liccense_id”：null，“version”：“publishedVersion”，“is_accepted”：true，“is_published”：true}，”sustainable_development_goals“：[{”display_name“：”和平、正义和强大的机构“，”id“：”https://metadata.un.org/sdg/16“，”score“：0.67}]，”grants“：[]，”datasets“：[]，”versions“：[】，”referenced_works_count“：14，”referrenced_works“：【”https://openalex.org/W1504975584","https://openalex.org/W1507872748","https://openalex.org/W1578664069","https://openalex.org/W185090010","https://openalex.org/W1997143185","https://openalex.org/W2075087125","https://openalex.org/W2081896452","https://openalex.org/W2084875723","https://openalex.org/W2088189323","https://openalex.org/W2610994252","https://openalex.org/W342302233","https://openalex.org/W4249733112网址","https://openalex.org/W4255871774","https://openalex.org/W566981894“]，”related_works“：[”https://openalex.org/W798922765","https://openalex.org/W4246535868","https://openalex.org/W3016987319","https://openalex.org/W2809681923","https://openalex.org/W2782719117","https://openalex.org/W2337623929","https://openalex.org/W2270471158","https://openalex.org/W2107399212","https://openalex.org/W2029109849","https://openalex.org/W1443952919“]，”abstract_inverted_index“：｛“安全性”：[0]，”analysis“：[1]，”of“：[2,12,14,19,44,60,70,87105110117128135]，”high“：[3]，”confidence“：[4]，”systems“：[5,39]，”requires“：[6]，”assured“：[7]，”bounds“：[8,24]，”on“：[9,67114]，”the“：[10,17,42,85103]，”probability“：[11]，”events“：[13]，”interest“：[15]，“建立”：[16]，“正确性”：[18]，“算法”：[20]，““：[21,75125]，”计算“：[22]，”这样“：[23]，”是“：[25]，”具有挑战性。“：[26]，”我们“：[27]，”地址“：[28]，”此“：[29]，”问题“：[30]，”in“：[31,41]，”三“：[32]，”步骤。“：[33]，”First，“：[34]，”we“：[35，65，83107121]，”use“：[36，84]，”monadic“：[37]，”transition“：[38]，”（MTS）“：[40]，”category“：[43，86]，”sets“：[45]，”as“：[46，92]，”a“：[47，68132]，”general“：[48，93]，”framework“：[49]，”for“：[50102]，”modeling“：[51，79]，”discrete“：[52]，“时间”：[53]，“系统。“：[54,81]，”MTS“：[55104]，”can“：[56]，”capture“：[57]，”different“：[58]，”types“：[59]，”system“：[C1129]，”behaviors“，”：[62]，“but”：[63]，“here”：[64]，”focus“：66]，”combination“：[69]，”non-determinative“：[71]，”and“：[72,89,97]，”probability“：[73]，”Behaviories“：[74]，”resears“:[76]，”commery“：[77]，“when”：[78]，“complex”：[80]，“Second”，“：[82]，“poset”：[88]，“单调“：[90]，”映射“：[91]，”设置“：[94]，”到“：[95139]，”定义“：[96]，”比较“：[98]，”近似。“：[99]，”In“：[100]，”specific“：[101]，”interest“：[106]，”consider“：[108]，”approximations“：[109]，”their“：[111]，”configurations“：[112130]，”based“：[113]，”complete“：[115]，”lattices“：[116]，”interval“：+118]，”probabilities“。“：[119]，”第三，“：[120]，”获取“：[122]，”an“：[123]，”算法“：[124]，”计算“：[126]，”过近似“：[127]，”之后“：[131]，”有限“：[133140]，”数字“：[134]，”步骤“：[136]，”by“：[137]，”限制“：[138]，”格子。“：[141]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W3016987319“，”counts_by_year“：[{”年“：2022，”引用_by_count“：1}]，”更新日期“：”2024-09-18T04:22:08.936915“，”创建日期“：“2020-04-24”}