{“id”：“https://openalex.org/W3014171945“，”doi“：”https://doi.org/10.1016/j.ic.2020.104580“，”title“：”多项式中断时间自动机：验证与表达“，”display_name“：”Polynomial interrupt timed automata:验证与表达”，“publication_year”：2021，“publitation_date”：“2021-04-01”，“ids”：{“openalex”：“https://openalex.org/W3014171945“，”doi“：”https://doi.org/10.1016/j.ic.2020.104580“，”mag“：”3014171945“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1016/j.ic.2020.104580“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S59933527“，”display_name“：”信息与计算“，”issn_l“：”0890-5401“，”isn“：[”0890-5 401“、”1090-2651“]，”is_oa“：false，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/P4310320990“，”“host_organization_name”：“Elsevier BV”，“host_organization_lineage”：[“https://openalex.org/P4310320990“]，”host_organization_lineage_names“：[”Elsevier BV“]，“type”：“journal”}，“license”：null，“licence_id”：null，“version”：null，“is_accepted”：false，“is_published”：false}，”type“：”article“，”type_crossref“：“jornal-article”，“indexed_in”：[”crossref“]，‘open_access”：{“is_oa”：true，“oa_status”：“green”，“oa_url”：“”https://hal.sorbonne-universite.fr/hal-02862629/document“，”any_repository_has_fulltext“：true}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5008504744“，”display_name“：”B\u00e9atrice B\u001e9rard“，”orcid“：”https://orcid.org/0000-0002-3314-1956“}，”机构“：[]，”国家“：[[]，”is_corresponding“：false，”raw_author_name“：”B.B\u00e9rard“，”raw关联字符串“：[”Mod\u00e 9lisation et V\u00E 9rification“]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5006881035“，”display_name“：”Serge Haddad“，”orcid“：”https://orcid.org/0000-0002-1759-1201}，“机构”：[{“id”：https://openalex.org/I4210104198“，”display_name“：”Laboratoire Sp\u00e9cification et V\u00e 9rification“，”ror“：”网址：https://ror.org/01kz1bj67“，”“country_code”“：”FR“，”type“：”facility“，”lineage“：[”https://openalex.org/I11559806","https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I4210104198","https://openalex.org/I4210159245“]｝]，”countries“：[”FR“]，”is_correresponsing“：false，”raw_author_name“：”S.Haddad“，”raw_affiation_strings“：[”Laboratoire Sp\u00e9 specification et V\u00e9 verification“，”建模与利用交互与并发“]｝，｛”author_position“：”middle“，”author“：｛”id“：”https://openalex.org/A5030740218“，”display_name“：”Claudine Picaronny“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I4210104198“，”display_name“：”Laboratoire Sp\u00e9cification et V\u00e 9rification“，”ror“：”https://ror.org/01kz1bj67“，”“country_code”“：”FR“，”type“：”facility“，”lineage“：[”https://openalex.org/I11559806","https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I4210104198","https://openalex.org/I4210159245“]}]，”国家“：[”FR“]，”is_corresponding“：false，”raw_author_name“：”C.Picaronny“，”raw _ afiliation_strings“：[“Laboratoire Sp\u00e9cification et V \u00e 9rification”]}，{“author_position”：“middle”，“author”：{“id”：“https://openalex.org/A5048254079“，”display_name“：”Mohab Safey El Din“，”orcid“：”https://orcid.org/0000-0001-9463-1257“}，”机构“：[]，”国家“：[[]，”is_corresponding“：false，”raw_author_name“：”M.Safey El Din“，”raw _ afiliation_strings“：[”多项式系统“]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5018691604“，”display_name“：”Mathieu Sassolas“，”orcid“：null}，”institutions“：[]，”countries“：[]，”is_corresponding“：false，”raw_author_name“:”M.Sassolis“，”raw _affiliation_string“：[”Laboratoire d'Algorithmique Complexit\u00e9 et Logique“]}]，”countries_distiction_count“：1，”instistictions_distice_count”：1，“corresponding_author_ids”：[]“，”corresponding_institution_ids“：[]，”apc_list“：{”value“：2630，”currency“：”USD“，”value_USD“：2630'，”provenance“：”doaj“}，”apc _payed“：”value”：2630[，”curency“：”美元“，”value_USD”：2630“provenance”：“doaj”}，“has_fulltext_origin”：“pdf”，“cited_by_count”：1，“citected_by_percentile_year”：{“”min“：63，”max“：72}，”biblio“：{”volume“：”277“，”issue“：null，”first_page“：”104580“，”last_page“：”104 580“}，”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/T10743“，”“display_name”：“自动化软件测试技术”，“score”：0.9974，“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/T10126“，”“display_name”：“程序分析和验证技术”，“score”：0.9938，“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/keywords/model-checking“，”display_name“：”模型检查“，”score“：0.540634}，{”id“：”https://openalex.org/keywords/runtime验证“，”display_name“：”运行时验证“，”score“：0.504008}，{”id“：”https://openalex.org/keywords/satisfiability模块理论“，”“display_name”：“可满足模理论”，“score”：0.501082}]，“concepts”：[{“id”：“https://openalex.org/C153269930，“wikidata”：https://www.wikidata.org/wiki/Q430001“，”display_name“：”Decidability“，”level“：2，”score“：0.7995862}，{”id“：”https://openalex.org/C136643341，“wikidata”：https://www.wikidata.org/wiki/Q1361526“，”display_name“：”可达性“，”级别“：2，”分数“：0.6896823}，{”id“：”https://openalex.org/C41661131，“wikidata”：https://www.wikidata.org/wiki/Q220764“，”display_name“：”Interrupt“，”level“：3，”score“：0.67635566}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198（网址：https://www.wikidata.org/wiki/Q21198）“，”display_name“：”计算机科学“，”level“：0，”score“：0.6110017｝，｛”id“：”https://openalex.org/C112505250，“wikidata”：https://www.wikidata.org/wiki/Q787116“，”display_name“：”Automaton“，”level“：2，”score“：0.5437958}，{”id“：”https://openalex.org/C192034797，“wikidata”：https://www.wikidata.org/wiki/Q3502995“，”display_name“：”无法确定问题“，”level“：3，”score“：0.48270226}，{”id“：”https://openalex.org/C30788636，“wikidata”：https://www.wikidata.org/wiki/Q7805517“，”display_name“：”Timed automaton“，”level“：3，”score“：0.46237373}，{”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416（网址：https://www.wikidata.org/wiki/Q121416）“，”display_name“：”离散数学“，”level“：1，”score“：0.45146728}，{”id“：”https://openalex.org/C206388871，“wikidata”：https://www.wikidata.org/wiki/Q843994“，”display_name“：”秒表“，”级别“：2，”分数“：0.4476763}，{”id“：”https://openalex.org/C2777212361，“wikidata”：https://www.wikidata.org/wiki/Q5127848（网址：https://www.wikidata.org/wiki/Q5127848）“，”display_name“：”类（哲学）“，”级别“：2，”分数“：0.44010803}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.41937506}，{”id“：”https://openalex.org/C2777669093，“wikidata”：https://www.wikidata.org/wiki/Q17141570“，”display_name“：”可达性问题“，”level“：3，”score“：0.41334325}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395网址“，”display_name“：”数学“，”等级“：0，”分数“：0.35973883}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.33206582}，{”id“：”https://openalex.org/C76155785，“wikidata”：https://www.wikidata.org/wiki/Q418“，”display_name“：”Telecommunications“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C105795698，“wikidata”：https://www.wikidata.org/wiki/Q12483“，”display_name“：”Statistics“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C761482，“wikidata”：https://www.wikidata.org/wiki/Q118093“，”display_name“：”传输（电信）“，”level“：2，”score“：0.0}，{”id“：”https://openalex.org/C154945302，“wikidata”：https://www.wikidata.org/wiki/Q11660“，”display_name“：”人工智能“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：2，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1016/j.ic.2020.104580“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S59933527“，”display_name“：”信息与计算“，”issn_l“：”0890-5401“，”isn“：[”0890-5 401“、”1090-2651“]，”is_oa“：false，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/P4310320990“，”“host_organization_name”：“Elsevier BV”，“host_organization_lineage”：[“https://openalex.org/P4310320990“]，”host_organization_lineage_names“：[”Elsevier BV“]，”type“：”journal“｝，”license“：null，”license_id“：null，”version“：null，”is_accepted“：false，”is_published“：false｝，｛”is_oa“：true，”landing_page_url“：”https://hal.sorbonne-universite.fr/hal-0286229，“pdf_url”：https://hal.sorbonne-universite.fr/hal-02862629/document，“源”：{“id”：https://openalex.org/S4306402512“，”display_name“：”HAL（通信科学指导中心）“，”issn_l“：null，”issn“：nul，”is_oa“：true，”is-in_doaj“：false，”host_organization“：”https://openalex.org/I1294671590“，”“host_organization_name”：“法国国家科学研究中心”，“host_ordanization_lineage”：[“https://openalex.org/I1294671590“]，”host_organization_lineage_names“：[”法国国家科学研究中心“]，“type”：“repository”}，“license”：“cc-by-nc”，“licence_id”：“https://openalex.org/licenses/cc-by-nc“，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}]，”best_oa_location“：{”is_oa“：true，”landing_page_url“：”https://hal.sorbonne-universite.fr/hal-0286229，“pdf_url”：https://hal.sorbonne-universite.fr/hal-02862629/document，“源”：{“id”：https://openalex.org/S4306402512“，”display_name“：”HAL（通信科学指导中心）“，”issn_l“：null，”issn“：nul，”is_oa“：true，”is-in_doaj“：false，”host_organization“：”https://openalex.org/I1294671590“，”“host_organization_name”：“法国国家科学研究中心”，“host_ordanization_lineage”：[“https://openalex.org/I1294671590“]，”host_organization_lineage_names“：[”法国国家科学研究中心“]，“type”：“repository”}，“license”：“cc-by-nc”，“licence_id”：“https://openalex.org/licenses/cc-by-nc“，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}，”sustainable_development_goals“：[]，”grants“：[]，”datasets“：]，”versions“：[https://openalex.org/W1978459473","https://openalex.org/W1981654371","https://openalex.org/W1981808971","https://openalex.org/W1997553387","https://openalex.org/W2003141394","https://openalex.org/W2004463571","https://openalex.org/W2055960145","https://openalex.org/W2072992931","https://openalex.org/W2080957994","https://openalex.org/W2085838366","https://openalex.org/W2093964259","https://openalex.org/W2101508170","https://openalex.org/W2117218135","https://openalex.org/W2130773092","https://openalex.org/W2152595409","https://openalex.org/W4255213956","https://openalex.org/W4255986326","https://openalex.org/W4285719527","https://openalex.org/W4388013161“]，”related_works“：[”https://openalex.org/W96196053","https://openalex.org/W4300333639","https://openalex.org/W3138980809","https://openalex.org/W2949627086","https://openalex.org/W276511002","https://openalex.org/W2584984136","https://openalex.org/W2148140319","https://openalex.org/W2058346101","https://openalex.org/W2020140696","https://openalex.org/W1596041124网址“]，”ngrams_url“：”https://api.openalex.org/works/W3014171945/ngrams（英文）“，”“abstract_inverted_index”：{“中断”：[0]，“定时”：[1]，“自动”：[2]，“（ITA”：[3]，“）”：[4]，“形式”：[5]，“a”：[6,90116]，“子类”：[7]，“of”：[8,16,25,51,69,79,89,93101]，“秒表”：[9133]，“自动器”：[10]，“其中”：[11]，“可达性”：[12,59,97]，“and”：[13,33,45,95113126]，“一些”：[14]，“变体”：[15]，“定时”：[17,91]，“模型”：[18,32,87]，“检查”：[19,88]，“are”：[20,28130]，“decitable”：[21,61]，“even”：[22]，“in”：[23,62,98115]，“presence”：[24]，“parameters.”：[26]，“These”：[27]，“well”：[29]，“suitable”：[30]，“to”：[31,48106]，“analyze”：[34]，“real-time”：[35]，“operating”：[36]，“systems.”，“Here”：[38]，“we”：[3]，“extend”：[40]，“ITA”：[41,53]，“with”：[42132]，“多项式”：[43,52]，“guards”：[44]，“updates”：[46]，“leading”：[47]，“the”：[49,70,76,86]，“class”：[50]，“（PolITA”：[54]，”）。“：[55]，”We“：[56,81119]，”prove“：[57]，”that“：[58128]，”is“：[60]，”2EXPTIME“：[63]，”on“：[64]，”PolITA“：[65]，”using“：[66]，”an“：[67]，”adaptation“：[68]，”column“：[71]，”代数“：[72]，”分解“：[73]，”算法“：[74]，”for“：[75,85,96124]，”一阶“：[77]，”理论“：[78]，”实数。“：[80]，“也”：[82120]，“获取”：[83]，“可判定性”：[84]，“版本”：[92]，“CTL”：[94]，“多个”：[99]，“扩展”：[100]，“PolITA.”：[102]，“In”：[103]，“special”：[104]，“compared”：[105]，“previous”：[107]，“approachs”：%108]，“our”：%109]，“procedure”：[110]，“handles”：%11]，“parameters”：[112]，“时钟”：[114]，“统一”：[117]，“方式”：[118]，“学习”：[121]，“表现力”：[122]，“问题”：[123]，“PolITA”：[125129]，“秀”：[127]，“无与伦比”：[131]，“自动机”：[134]}，“引用_by_api_url”：“https://api.openalex.org/works？filter=cites:W3014171945“，”counts_by_year“：[{”年“：2022，”引用_by_count“：1}]，”更新日期“：”2024-06-13T02:12:04.966761“，”创建日期“：“2020-04-10”}