{“id”：“https://openalex.org/W2163150506“，”doi“：”https://doi.org/10.1145/1160633.1160667“，”title“：“验证资源型代理的空间和时间要求”，”display_name“：”验证资源型代理人的空间和空间要求“，”publication_year“：2006，”publiation_date“：”2006-05-08“，”ids“：{”openalex“：”https://openalex.org/W2163150506“，”doi“：”https://doi.org/10.1145/1160633.1160667“，”mag“：”2163150506“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1145/1160633.1160667“，”pdf_url“：null，”source“：nul，”license“：null'，”licence_id“：null，”version“：nuller，”is_accepted“：false，”is_published“：false}，”type“：”article“，”type_crossref“：“proceedings-article”，”indexed_in“：[”crossref“]，”open_access“：{”is_oa“：true，”oa_status“：”green“，”“oa_url”：“”网址：http://www.cs.nott.ac.uk/~nza/paperss/Alechina++：06b.pdf“，”any_repository_has_fulltext“：true}，”作者身份“：[{”作者位置“：”第一个“，”作者“：{”id“：”https://openalex.org/A5064693586“，”display_name“：”Natasha Alechina“，”orcid“：”https://orcid.org/0000-0003-3306-9891“｝，”机构“：[｛”id“：”https://openalex.org/I142263535“，”display_name“：”诺丁汉大学“，”ror“：”https://ror.org/01ee9ar58“，”country_code“：”GB“，”type“：“教育”，”世系“：[”https://openalex.org/I142263535“]}]，”国家“：[”GB“]，”is_corresponding“：false，”raw_author_name“：”Natasha Alechina“，”raw _ afiliation_strings“：[“英国诺丁汉诺丁汉大学”]，”affiliations“：[{”raw _affiliation_strong“：”英国诺丁翰诺丁汉学院“，”institution_ids“：[https://openalex.org/I142263535“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5000579390“，”display_name“：”Mark Jago“，”orcid“：”https://orcid.org/0000-0001-7283-8556“｝，”机构“：[｛”id“：”https://openalex.org/I142263535“，”display_name“：”诺丁汉大学“，”ror“：”https://ror.org/01ee9ar58“，”country_code“：”GB“，”type“：“教育”，”世系“：[”https://openalex.org/I142263535“]}]，”国家“：[”GB“]，”is_corresponding“：false，”raw_author_name“：”Mark Jago“，”raw _affiliation_strings“：[“英国诺丁汉大学”]，”affiliations“：[{”raw _affiliation_string“：”英国诺丁翰大学”，“institution_ids”：[“https://openalex.org/I142263535“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5064234632“，”display_name“：”Piergiorgio Bertoli“，”orcid“：null}，”institutions“：[]，”countries“：[”IT“]，”is_corresponding“：false，”raw_author_name“:”Piergio Bertolie“，”raw _affiliation_strings“：【”ITC-IRST，Trento，Italy“】，“afliations”：[{“：”“middle”“，”“author”“：{”“id”“：”https://openalex.org/A5052831741“，”display_name“：”Brian Logan“，”orcid“：”https://orcid.org/0000-0003-0648-7107“｝，”机构“：[｛”id“：”https://openalex.org/I142263535“，”display_name“：”诺丁汉大学“，”ror“：”https://ror.org/01ee9ar58“，”country_code“：”GB“，”type“：“教育”，”世系“：[”https://openalex.org/I142263535“]}]，”国家“：[”GB“]，”is_corresponding“：false，”raw_author_name“：”Brian Logan“，”raw _ afiliation_strings“：[“英国诺丁汉诺丁汉大学”]，”affiliations“：[{”raw_ afiliation _string“：”英国诺丁汉诺丁汉诺丁汉大学“，”institution_ids“:[”https://openalex.org/I142263535“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5069353228“，”display_name“：”Chiara Ghidini“，”orcid“：”https://orcid.org/0000-0003-1563-4965“}，”机构“：[]，”国家“：[”IT“]，”is_corresponding“：false，”raw_author_name“：”Chiara Ghidini“，”raw _affiliation_strings“：[“ITC-IRST，Trento，Italy”]，”从属关系“：[{”raw_affiliation_string“：”ITC-IRSC，Trento，Italy'，”机构id“：[]}，{”author_position“：”last“，”author“：”https://openalex.org/A5023894100“，”display_name“：”卢西亚诺·塞拉菲尼“，”兽人“：”https://orcid.org/0000-0003-4812-1031“}，”机构“：[]，”国家“：[”IT“]，”is_corresponding“：false，”raw_author_name“：”卢西亚诺·塞拉菲尼“，”raw _ afiliation_strings“：[“ITC-IRST，Trento，Italy”]，”从属关系“：[{”raw _affiliation_string“：”ITC-IRSC，Trento，Italy'，“institution_ids”：[]}]，“countries _ distinct_count”：2，“institiations _ disting_count“：1，”corresponding_author_id“：[]，”corresponding_institution_ids“：[]，”apc_list“：null，”apc_payed“：null，”fwci“：1.619，”has_fulltext“：true，”fulltext_origin“：”ngrams“，”cited_by_count“：10，”citation_normalized_percentile“：{”value“：0.700084，”is_in_top_1_percent“：false，”is.in_top_10_percennt“：false}，”cited_by_percentile_year“：{”min“：82，”max“：83}，lio“：{”卷“：null，”问题“：nul，”first_page“：null，”last_page“：null}，”is_retracted“：false，”is_paratext“：fase，”primary_topic“：{”id“：”https://openalex.org/T11010“，”display_name“：”逻辑编程与知识表示“，”score“：0.9992，”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/T11010“，”display_name“：”逻辑编程与知识表示“，”score“：0.9992，”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/T10215“，”display_name“：”语义Web和本体开发“，”score“：0.9985，”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/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9982，“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/keywords/runtime验证“，”display_name“：”Runtime Verification“，”score“：0.53296}，{”id“：”https://openalex.org/keywords/model-checking“，”display_name“：”模型检查“，”score“：0.521409}，{”id“：”https://openalex.org/keywords/constraint-logic-programming网站“，”display_name“：”约束逻辑编程“，”score“：0.512019}，{”id“：”https://openalex.org/keywords/temoral-logic网站“，”display_name“：”时态逻辑“，”score“：0.503305}]，”concepts“：[{”id“：”https://openalex.org/C34388435，“wikidata”：https://www.wikidata.org/wiki/Q2267362“，”display_name“：”绑定函数“，”level“：2，”score“：0.6625336}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.6453441}，{”id“：”https://openalex.org/C206345919，“wikidata”：https://www.wikidata.org/wiki/Q20380951“，”display_name“：”Resource（消歧）“，”level“：2，”score“：0.529069}，{”id“：”https://openalex.org/C2778572836，“wikidata”：https://www.wikidata.org/wiki/Q380933“，”display_name“：”空格（标点符号）“，”level“：2，”score“：0.4626447}，{”id“：”https://openalex.org/C120314980，“wikidata”：https://www.wikidata.org/wiki/Q180634“，”display_name“：”分布式计算“，”level“：1，”score“：0.32697558}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”Mathematics“，”level“：0，”score“：0.23371527｝，｛”id“：”https://openalex.org/C31258907，“wikidata”：https://www.wikidata.org/wiki/Q1301371“，”display_name“：”计算机网络“，”level“：1，”score“：0.122433305}，{”id“：”https://openalex.org/C111919701，“wikidata”：https://www.wikidata.org/wiki/Q9135“，”display_name“：”操作系统“，”level“：1，”score“：0.07645571｝，｛”id“：”https://openalex.org/C134306372，“wikidata”：https://www.wikidata.org/wiki/Q7754“，”display_name“：”数学分析“，”level“：1，”score“：0.066449106}]，”mesh“：[]，”locations_count“：2，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1145/1160633.1160667“，”pdf_url“：null，”source“：null，”license“：nully，”licence_id“：null，”version“：nuller，”is_accepted“：false，”is_published“：false}，{”is_oa“：true，”landing_page_url”：“http://citeseerx.ist.psu.edu/viewdoc/summary？doi=10.1.1159.518，“pdf_url”：网址：http://www.cs.nott.ac.uk/~nza/papers/Alechina++：06b.pdf“，”源“：{“id”：“https://openalex.org/S4306400349“，”display_name“：”CiteSeer X（The Pennsylvania State University）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/I130769515“，”“host_organization_name”：“宾夕法尼亚州立大学”，“host_ordanization_lineage”：[“https://openalex.org/I130769515“]，”host_organization_lineage_names“：[”Pennsylvania State University“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}]，“best_oa_location”：{“is_oa”：true，“landing_page_url”：“http://citeseerx.ist.psu.edu/viewdoc/summary？doi=10.1.1159.518，“pdf_url”：网址：http://www.cs.nott.ac.uk/~nza/papers/Alechina++：06b.pdf“，”源“：{“id”：“https://openalex.org/S4306400349“，”display_name“：”CiteSeer X（The Pennsylvania State University）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/I130769515“，”“host_organization_name”：“宾夕法尼亚州立大学”，“host_ordanization_lineage”：[“https://openalex.org/I130769515“]，”host_organization_lineage_names“：[”Pennsylvania State University“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}，”sustainable_development_goals“：[]，“grants”：[]、“datasets”：[]，“versions”：[】，“referenced_works_count”：21，“referrenced_works”：]”https://openalex.org/W1506199548","https://openalex.org/W1598954251","https://openalex.org/W1600919542","https://openalex.org/W1973154161网址","https://openalex.org/W1988495336","https://openalex.org/W1994451575","https://openalex.org/W2034679184","https://openalex.org/W2041108345","https://openalex.org/W2069767473","https://openalex.org/W2078159446","https://openalex.org/W2096122629","https://openalex.org/W2110061639","https://openalex.org/W2146819619","https://openalex.org/W2162575076","https://openalex.org/W2165108943","https://openalex.org/W2169361377","https://openalex.org/W2258046470","https://openalex.org/W2402164836","https://openalex.org/W3140030144","https://openalex.org/W4285719527","https://openalex.org/W656343110“]，”related_works“：[”https://openalex.org/W2998813341","https://openalex.org/W2385146268","https://openalex.org/W2160425906","https://openalex.org/W2152433827","https://openalex.org/W2028061998","https://openalex.org/W1986253068","https://openalex.org/W1880774266","https://openalex.org/W1596201972","https://openalex.org/W1587227328","https://openalex.org/W1485627940“]，”abstract_inverted_index“：{”We“：[0,17]，”present“：[1]，”a“：[2,21,60,80]，”novel“：[3]，”过程“：[4]，”for“：[5,13]，”automatically“：[6]，”verifying“：[7]，“the”：[8,27,30,35,39,46,65,70,77]，“space”：[9]，“and”：[10,38,74,87]，“time”：[11]，“requirements”：[12]，“resource-bounded”：[14]，“推理”：[15]，“代理人”：[16]，“代表”：[18]，“经纪人”：[19]，“如“：[20,67120]，“有限”：[22]，“状态”：[23]，“机器”：[24]，“in”：[25,34]，“which”：[26,94116]，“状态“：[28,42,97]，“对应”：[29,43]，“公式”：[31]，“当前”：[32]，“保持”：[33]，“代理”：[36,47]，“内存”：[37,85]，“转换”：[40121]，“介于”：[41122]，“到”：[44,58]6,69,96105]，“应用”：[45]，“推断”：[48,88114]，“规则”。“：[49]，“收件人”：[50]，“检查”：[51,75]，“是否”：[52,76]，“an”：[53]，“代理”：[54,78]，“有”：[55,79]，“足够”：[56104]，“派生”：[59]，“公式”：[61]，“\u00f8，”：[62]，“我们”：[63]，“指定”：[64]，“FSM”：[66123]，“输入”：[68]，“基于模型”：[71]，“规划器”：[72]，“MBP。“：[73]，“计划”：[81]，“（a”：[82]，“选择”：[83]，“的”：[84,93108113]，“分配”：[86]，“规则”：[89]，“应用程序”），“：[90]，“全部”：[91]，“执行”：[92]，“引导”：[95]，“包含”：[98]，“\u00f8.”：[99]，“我们的”：[100]，“方法”：[101]，“是”：[102]，“一般”：[103]，“承认”：[106]，“验证”：[107]，“推理器”：[109]，“with”：[110]，“any”：[111]，“set”：[112]，“rules”：[115]，“can”：[117]，“be”：[118]，“encoded”：[119]，“states.”：[124]}，“cited_by_api_url”：“https://api.openalex.org/works？filter=引用：W2163150506“，”counts_by_year“：[{”年份“：2022，”cited_by_count“：1}，{”年“：2014，”cited_by_count”：1}]，”更新日期“：”2024-08-14T11:10:35.140675“，”创建日期“：“2016-06-24”}