{“id”：“https://openalex.org/W2594789366“，”doi“：”https://doi.org/10.1007/s11241-017-9269-4“，”title“：”部分可观测概率系统的验证与控制“，”display_name“：”局部可观测概率体系的验证与管理“，”publication_year“：2017，”publitation_date“：”2017-03-08“，”ids“：{”openalex“：”https://openalex.org/W2594789366“，”doi“：”https://doi.org/10.1007/s11241-017-9269-4“，”mag“：”2594789366“}，”language“：”en“，”primary_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1007/s11241-017-9269-4，“pdf_url”：https://link.springer.com/content/pdf/10.1007%2Fs11241-017-9269-4.pdf“，”源“：{”id“：”https://openalex.org/S183885566“，”display_name“：”Real-time systems“，”issn_l“：”0922-6443“，”isn“：[”0922-6044“，”1573-1383“]，”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”：“journal”}，“license”：“cc-by”，“licence_id”：“https://openalex.org/licenses/cc-by“，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}，”type“：”article“，”type_crossref“：“journal-article”，”indexed_in“：[”crossref“]，”open_access“：{”is_oa“：true，”oa_status“：”hybrid“，”oa_url“：”https://link.springer.com/content/pdf/10.1007%2Fs11241-017-9269-4.pdf“，”any_repository_has_fulltext“：true}，”作者身份“：[{”作者位置“：”第一个“，”作者“：{”id“：”https://openalex.org/A5067544120“，”display_name“：”Gethin Norman“，”orcid“：”https://orcid.org/0000-0001-9326-4344}，“机构”：[{“id”：https://openalex.org/I7882870“，”display_name“：”格拉斯哥大学“，”ror“：”网址：https://ror.org/00vtgdb53“，”country_code“：”GB“，”type“：“教育”，”世系“：[”https://openalex.org/I7882870“]}]，”国家“：[”GB“]，”is_corresponding“：false，”raw_author_name“：”Gethin Norman“，”raw _affiliation_strings“：[“英国格拉斯哥格拉斯哥大学计算科学学院”]}，{“author_position”：“middle”，“author”：{“id”：“https://openalex.org/A5036097359“，”display_name“：”David Parker“，”orcid“：”https://orcid.org/0000-0003-4137-8862}，“机构”：[{“id”：https://openalex.org/I79619799“，”display_name“：”伯明翰大学“，”ror“：”https://ror.org/03angcq70“，”country_code“：”GB“，”type“：“教育”，”世系“：[”https://openalex.org/I79619799“]}]，”国家“：[”GB“]，”is_corresponding“：true，”raw_author_name“：”David Parker“，”raw _affiliation_strings“：[“英国伯明翰伯明翰大学计算机科学学院”]}，{“author_position”：“last”，“author”：{“id”：“https://openalex.org/A5063242080“，”display_name“：”Xueyi Zou“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I52099693“，”display_name“：”约克大学“，”ror“：”https://ror.org/04m01e293“，”country_code“：”GB“，”type“：“教育”，”世系“：[”https://openalex.org/I52099693“]}]，”countries“：[”GB“]，”is_corresponding“：false，”raw_author_name“：”Xueyi Zou“，”raw_affiliation_strings“：【”英国约克大学计算机科学系“】}]，“countries_distiction_count”：1，“institutions_disticent_count“：3，”corresponding_author_ids“：[“https://openalex.org/A5036097359“]，”对应的机构ID“：[”https://openalex.org/I79619799“]，”apc_list“：{”value“：2190，”currency“：”EUR“，”value_usd“：2790，”provenance“：”doaj“}，”apc _payed“：”{“value”：2190、”current“：”欧元“，”value_usd”：2790、“provenance”：“doaj”}、“has_fulltext”：true、“fulltext_origin”：“pdf”、“cited_by_count”：56、“citecd_by_percentile_year”：{“min”：97、“max”：98}，“biblio”：{“volume”：“53”，“issue”：“3”，“first_page”：“354”，“last_page”：”402“}，“is_retracted“：false，”is_paratext“：fase，”primary_topic“：{”id“：”https://openalex.org/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：1.0，“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/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：1.0，“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.9988，“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/T10933“，”“display_name”：“嵌入式系统中的实时调度”，“score”：0.9978，“subfield”：{“id”：“https://openalex.org/subfields/1708“，”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.575619}，{”id“：”https://openalex.org/keywords/model-checking“，”display_name“：”模型检查“，”score“：0.569534}，{”id“：”https://openalex.org/keywords/timing-analysis网站“，”display_name“：”计时分析“，”score“：0.558003}，{”id“：”https://openalex.org/keywords/temoral-logic网站“，”display_name“：”时态逻辑“，”score“：0.545706}，{”id“：”https://openalex.org/keywords/mixed-criticality系统“，”display_name“：”Mixed-Criticality Systems“，”score“：0.53536}]，”concepts“：[{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.7115188}，{”id“：”https://openalex.org/C49937458，“wikidata”：https://www.wikidata.org/wiki/Q2599292“，”display_name“：”概率逻辑“，”level“：2，”score“：0.6828623}，{”id“：”https://openalex.org/C174784677，“wikidata”：https://www.wikidata.org/wiki/Q176567网址“，”display_name“：”概率自动机“，”level“：3，”score“：0.65495765}，{”id“：”https://openalex.org/C192034797，“wikidata”：https://www.wikidata.org/wiki/Q3502995“，”display_name“：”无法解决的问题“，”level“：3，”score“：0.6548076｝，｛”id“：”https://openalex.org/C36299963，“wikidata”：https://www.wikidata.org/wiki/Q1369844“，”display_name“：”Observability“，”level“：2，”score“：0.5933645}，{”id“：”https://openalex.org/C32848918，“wikidata”：https://www.wikidata.org/wiki/Q845789“，”display_name“：”Observable“，”level“：2，”score“：0.5933237}，{”id“：”https://openalex.org/C106189395，“wikidata”：https://www.wikidata.org/wiki/Q176789“，”display_name“：”Markov决策过程“，”level“：3，”score“：0.5341778｝，｛”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.47594023}，{”id“：”https://openalex.org/C153269930，“wikidata”：https://www.wikidata.org/wiki/Q430001“，”display_name“：”Decidability“，”level“：2，”score“：0.4641235}，{”id“：”https://openalex.org/C110251889，“wikidata”：https://www.wikidata.org/wiki/Q1569697“，”display_name“：”模型检查“，”level“：2，”score“：0.46071774}，{”id“：”https://openalex.org/C98763669，“wikidata”：https://www.wikidata.org/wiki/Q176645“，”display_name“：”Markov链“，”level“：2，”score“：0.428459}，{”id“：”https://openalex.org/C17098449，“wikidata”：https://www.wikidata.org/wiki/Q176814“，”“display_name”“：”“部分可观测马尔可夫决策过程”“，”级别“：4，”分数“：0.4195964}，{”id“：”https://openalex.org/C11413529，“wikidata”：https://www.wikidata.org/wiki/Q8366“，”display_name“：”Algorithm“，”level“：1，”score“：0.37345442}，{”id“：”https://openalex.org/C126255220，“wikidata”：https://www.wikidata.org/wiki/Q141495“，”display_name“：”数学优化“，”level“：1，”score“：0.3608805}，{”id“：”https://openalex.org/C159886148，“wikidata”：https://www.wikidata.org/wiki/Q176645“，”display_name“：”Markov过程“，”level“：2，”score“：0.32107323}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.28833443}，{”id“：”https://openalex.org/C163836022，“wikidata”：https://www.wikidata.org/wiki/Q6771326“，”display_name“：”Markov模型“，”level“：3，”score“：0.23503035}，{”id“：”https://openalex.org/C28826006，“wikidata”：https://www.wikidata.org/wiki/Q33521“，”display_name“：”应用数学“，”level“：1，”score“：0.211166563｝，｛”id“：”https://openalex.org/C154945302，“wikidata”：https://www.wikidata.org/wiki/Q11660“，”display_name“：”人工智能“，”level“：1，”score“：0.1951944}，{”id“：”https://openalex.org/C119857082，“wikidata”：https://www.wikidata.org/wiki/Q2539“，”display_name“：”机器学习“，”level“：1，”score“：0.11646563}，{”id“：”https://openalex.org/C105795698，“wikidata”：https://www.wikidata.org/wiki/Q12483“，”display_name“：”Statistics“，”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/C62520636，“wikidata”：https://www.wikidata.org/wiki/Q944网址“，”display_name“：”量子力学“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：4，”location“：[{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1007/s11241-017-9269-4，“pdf_url”：https://link.springer.com/content/pdf/10.1007%2Fs11241-017-9269-4.pdf“，”源“：{”id“：”https://openalex.org/S183885566“，”display_name“：”Real-time systems“，”issn_l“：”0922-6443“，”isn“：[”0922-6044“，”1573-1383“]，”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”：“journal”}，“license”：“cc-by”，“licence_id”：“https://openalex.org/licenses/cc-by“，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}，{”is_oa“：true，”landing_page_url“：”http://pure-oai.bham.ac.uk/ws/files/40906320/Norman_et_al_Verification_Control_Real_Time_Systems.pdf，“pdf_url”：http://pure-oai.bham.ac.uk/ws/files/40906320/Norman_et_al_Verification_Control_Real_Time_Systems.pdf，“源”：{“id”：https://openalex.org/S4306402634“，”display_name“：”伯明翰大学研究门户网站（伯明翰学院）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/I79619799“，”“host_organization_name”：“伯明翰大学”，“host_organization_lineage”：[“https://openalex.org/I79619799“]，”host_organization_lineage_names“：[”伯明翰大学“]，“type”：“repository”}，“license”：“cc-by”，“licence_id”：“https://openalex.org/licenses/cc-by“，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}，{”is_oa“：true，”landing_page_url“：”https://birmingham.elsevierpure.com/en/publications/1d61baf0-51cc-49ef-a1f6-68dfc97780bf，“pdf_url”：https://birmingham.elsevierpure.com/files/40906320/Norman_et_al_Verification_Control_Real_Time_Systems.pdf，“源”：{“id”：https://openalex.org/S4306402634“，”display_name“：”伯明翰大学研究门户网站（伯明翰学院）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/I79619799“，”“host_organization_name”：“伯明翰大学”，“host_organization_lineage”：[“https://openalex.org/I79619799“]，”host_organization_lineage_names“：[”伯明翰大学“]，“type”：“repository”}，“license”：“cc-by”，“licence_id”：“https://openalex.org/licenses/cc-by“，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}，{”is_oa“：true，”landing_page_url“：”https://eprints.gla.ac.uk/137370/7/137370.pdf，“pdf_url”：https://eprints.gla.ac.uk/137370/7/137370.pdf，“源”：{“id”：https://openalex.org/S4306400411“，”display_name“：”Enlighte:Publications（The University of Glasgow）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is-in_doaj“：false，”host_organization“：”https://openalex.org/I7882870“，”“host_organization_name”：“格拉斯哥大学”，“host_ordanization_lineage”：[“https://openalex.org/I7882870“]，”host_organization_lineage_names“：[”格拉斯哥大学“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“acceptedVersion”，“is_accepted”：true，“is_published”：false}]，“best_oa_location”：{“is_oa”：true，“landing_page_url”：“https://doi.org/10.1007/s11241-017-9269-4，“pdf_url”：https://link.springer.com/content/pdf/10.1007%2Fs11241-017-9269-4.pdf“，”源“：{”id“：”https://openalex.org/S183885566“，”display_name“：”Real-time systems“，”issn_l“：”0922-6443“，”isn“：[”0922-6044“，”1573-1383“]，”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“：[”施普林格自然“，”施普林格科学+商业媒体“]，”type“：”期刊“}，”license“：”抄送人“，”license_id“：”https://openalex.org/licenses/cc-by“，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}，”sustainable_development_goals“：[{”score“：0.78，”id“：”https://metadata.un.org/sdg/16“，”display_name“：”和平、正义和强大的机构“}]，”拨款“：[{”资助者“：”https://openalex.org/F4320337531“，”funder_display_name“：”国防高级研究计划局国防科学办公室“，”award_id“：”PRINCESS“}]，”数据集“：[]，”版本“：[]，”referenced_works_count“：40，”referenced_works“：[”https://openalex.org/W105489851","https://openalex.org/W1482467703","https://openalex.org/W1494426349","https://openalex.org/W1539216098","https://openalex.org/W1555801537","https://openalex.org/W1572777470","https://openalex.org/W1596903331","https://openalex.org/W1602555042","https://openalex.org/W1809182522","https://openalex.org/W1964882163","https://openalex.org/W1974128870","https://openalex.org/W1977070092","https://openalex.org/W1996295354","https://openalex.org/W2005998857","https://openalex.org/W2028827800","https://openalex.org/W2048183302","https://openalex.org/W2055921164","https://openalex.org/W2065323166","https://openalex.org/W2080316200","https://openalex.org/W2086673120","https://openalex.org/W2087811006","https://openalex.org/W2089017767","https://openalex.org/W2097415230","https://openalex.org/W2101508170","https://openalex.org/W2129384397","https://openalex.org/W2130773092","https://openalex.org/W2131639975","https://openalex.org/W2133057837","https://openalex.org/W2149476049","https://openalex.org/W2151166730","https://openalex.org/W2152295777","https://openalex.org/W2152720531","https://openalex.org/W2162732022","https://openalex.org/W2166069606","https://openalex.org/W2334782222网址","https://openalex.org/W288011047","https://openalex.org/W2912904668","https://openalex.org/W4230164823","https://openalex.org/W4285719527","https://openalex.org/W99048994“]，”related_works“：[”https://openalex.org/W2989332944","https://openalex.org/W2972379433","https://openalex.org/W2962928105","https://openalex.org/W2584984136","https://openalex.org/W2583549044","https://openalex.org/W2170336571","https://openalex.org/W2119045600","https://openalex.org/W2021891065","https://openalex.org/W2020140696","https://openalex.org/W1501430220“]，”ngrams_url“：”https://api.openalex.org/works/W2594789366/ngrams网站“，”“abstract_inverted_index”：{“We”：[0,60,92168]，“present”：[1]，“automated”：[2]，“technologies”：[3,95]，“for”：[4,14,37108133]，“the”：[5,23,78,85109124148170173179191]，“verification”：[6]，“and”：[7,17159183195200]，“control”：[8]，“of”：[9,20,44,70,73,80,88123139172193]，“partial”：[10,32,53]，“observable，“：[11]，”概率“：[12,45,62]，”系统“：[13,30]，”两者“：[15157]，”离散“：[16]，”密集“：[18,38]，”模型“：[19]，”时间。“：[21]，”对于“：[22]，”离散时间“：[24]，”案例“：[25]，”我们“：[26,40154]，”正式“：[27]，”模型“：[28110181]，”这些“：[29,74]，”使用“：[31]，”可观察“：[33]，”马尔可夫“：[34]，”决策“：[35]，”过程；“：[36]，”时间“：[39]，”建议“：[41,94]，”一个“：[42,56,81136]，”扩展“：[43]，”定时“：[46]，”自动机“：[47]，”in“：[48178]，”which“：[49111]，”local“：[50]，”states“：[51]，”are“：[52]，”visible“：[54]，”to“：[55,77,96186]，”observer“：[57]，”or“：[58,84104]，”controller。“：[59]，”给定“：[61]，”暂时“：[63]，”逻辑“：[64]，”that“：[65,99]，”can“：[66165]，”express“：[67]，”a“：[68,89101106120]，”range“：[69]，”quantitative“：[71]，”properties“：[72]，”models“：[75135]，”related“：[76]，”概率“：[79]，”event\u2019s“：[82]，”发生“：[83]，”预期“：[86]，“价值”：[87]，“奖励”：[90]，“衡量”。“：[91]，”then“：[93]，”either“：[97]，”verify“：[98]，”such“：[100]，”property“：[102]，”holds“：[103]，”synthesise“：[105]，”controller“：[107]，”makes“：[112]，”it“：[113177185]，”true。“：[114]，“我们的”：[115]，“方法”：[116174]，“是”：[117144151]，“基于”：[118]，“上”：[1162]，“网格”：[121]，“抽象”：[122]，“不可数”：[125]，“信念”：[126]，“空间”：[127]，“诱导”：[128]，“by”：[129175]，“部分”：[130]，“可观测性”：[131]，“and”，“：[132]，“密集时间”：[134]，“整数”“：[137]，”离散化“：[138]，”实时“：[140]，”行为。“：[141]，”The“：[142]，”former“：[143]，”necessary“：[145]，”approximate“：[146]，”since“：[147]，”undernal“：[149]，”problem“：[150]，”undedictible“，”：[152]，“wheen”：[153]，“show”：[155]，“how”：%156]，“lower”：[158]，“upper”：[160]，“bounders”：[161]，“numerical”：[163]，“results”：[164]，“be”：[166]，”generated。“：[167]，”说明“：[169]，”有效性“：[171]，”实现“：[176]，”PRISM“：[180]，”检查程序“：[182]，”应用“：[184]，”多个“：[187]，”案例“：[188]，”研究“：[189]，”来自“：[190]，”域“：[192]，”任务“：[194]，”网络“：[196]，”调度“：[197]，”计算机“：[198]，”安全“：[199]，”规划。“：[201]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W2594789366“，”counts_by_year“：[{”年“：2024，”cited_by_count“：2}，{”年份“：2023，”ciped_by_cunt“：7}，”{“年份”：2022，“cited_by_count”：6}，“{”年度“：2021，”cited_by_count“年份”：2017，“引用_ by_count”：2}]，“更新日期”：“2024-05-17T07:03:38.475355”，“创建日期”：2017-03-16"}