{“id”：“https://openalex.org/W14781952“，”doi“：”https://doi.org/10.5591/978-1-57735-516-8/ijcai11-400“，”title“：”机载自主验证和确认的综合方法“，”display_name“：”车载自主验证和验证的综合方法”，“publication_year”：2011，“publitation_date”：“2011-07-16”，“ids”：{“openalex”：“https://openalex.org/W14781952“，”doi“：”https://doi.org/10.5591/978-1-57735-516-8/ijcai11-400“，”mag“：”14781952“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-400“，”pdf_url“：null，”source“：null[源]，”license“：null，”licence_id“：null，”version“：nul，”is_accepted“：false，”is_published“：false}，”type“：”article“，”type_crossref“：“proceedings-article”，“indexed_in”：[]，”open_access“：{”is_oa“：false，”oa_status“：”closed“，”oa_url”：null、“any_repository_has_fulltext”：false}，“作者”：[{“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“：”M.Bozzano“，”raw _ afiliation_strings“：[“fodazione bruno kessler”]}，{“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“：”A.Cimatti“，”raw _affiliation_strings“：[“fodazione bruno kessler”]}，{“author_position”：“middle”，“author”：{“id”：“https://openalex.org/A5055975794“，”display_name“：”Marco Roveri“，”orcid“：”https://orcid.org/0000-0001-9483-3940}，“机构”：[{“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“：”M.Roveri“，”raw _affiliation_strings“：[“fodazione bruno kessler”]}，{“author_position”：“last”，“author”：{“id”：“https://openalex.org/A5019485067“，”display_name“：”Andrei Tchaltsev“，”orcid“：null}，”institutions“：[{”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“：”A.Tchaltsev“，”raw _ afiliation_strings“：[“fodazione bruno kessler”]}]“countries _ distinct_count”：1，”institutions _ disting_count“：1，“corresponding_author_ids”：[]，”correspounding_institution_ids“：[]”，“apc_list”：null，”apc_payed“：null”，“has_fulltext”：false“cited_by_count”：7，“cited_by_percentile_year“：{”min“：84，”max“：85}，“biblio”：{“volume”：null，“issue”：nul，“first_page”：“2398”，“last_page”：“2403”}，”is_retracted“：false，”is_paratext“：false，”primary_topic“：”{“id”：“https://openalex.org/T10906“，”display_name“：”人工智能规划与推理“，”score“：0.9991，”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/T10906“，”display_name“：”人工智能规划与推理“，”score“：0.9991，”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/T11450“，”display_name“：”软件开发中的模型驱动工程“，”score“：0.9968，”subfield“：{”id“：”https://openalex.org/subfields/1712“，”display_name“：”Software“｝，”field“：｛”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.9966，“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/case-based-reasoning网站“，”display_name“：”基于事例的推理“，”score“：0.501181}]，”concepts“：[{”id“：”https://openalex.org/C65414064，“wikidata”：https://www.wikidata.org/wiki/Q484105“，”display_name“：”Autonomy“，”level“：2，”score“：0.69023824}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.6649577}，{”id“：”https://openalex.org/C43214815，“wikidata”：https://www.wikidata.org/wiki/Q7310987“，”display_name“：”可靠性（半导体）“，”level“：3，”score“：0.64813954}，{”id“：”https://openalex.org/C2776505523，“wikidata”：https://www.wikidata.org/wiki/Q4785468“，”display_name“：”Plan（考古学）“，”level“：2，”score“：0.5709907}，{”id“：”https://openalex.org/C3018963415，“wikidata”：https://www.wikidata.org/wiki/Q16878425“，”display_name“：”On-board“，”level“：2，”score“：0.5298861}，{”id“：”https://openalex.org/C111498074，“wikidata”：https://www.wikidata.org/wiki/Q173326“，”display_name“：”形式验证“，”level“：2，”score“：0.5122747}，{”id“：”https://openalex.org/C115903868，“wikidata”：https://www.wikidata.org/wiki/Q80993“，”display_name“：”软件工程“，”level“：1，”score“：0.4567169}，{”id“：”https://openalex.org/C2778572836，“wikidata”：https://www.wikidata.org/wiki/Q380933“，”display_name“：”空格（标点符号）“，”level“：2，”score“：0.43710396}，{”id“：”https://openalex.org/C201995342，“wikidata”：https://www.wikidata.org/wiki/Q682496“，”display_name“：”系统工程“，”level“：1，”score“：0.4315505}，{”id“：”https://openalex.org/C195344581，“wikidata”：https://www.wikidata.org/wiki/Q2555318“，”display_name“：”自动推理“，”level“：2，”score“：0.41121432｝，｛”id“：”https://openalex.org/C154945302，“wikidata”：https://www.wikidata.org/wiki/Q11660“，”display_name“：”人工智能“，”level“：1，”score“：0.35656768}，{”id“：”https://openalex.org/C127413603，“wikidata”：https://www.wikidata.org/wiki/Q11023“，”display_name“：”Engineering“，”level“：0，”score“：0.24547496}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.20022592}，{”id“：”https://openalex.org/C163258240，“wikidata”：https://www.wikidata.org/wiki/Q25342“，”display_name“：”功率（物理）“，”等级“：2，”分数“：0.0}，{”id“：”https://openalex.org/C121332964，“wikidata”：https://www.wikidata.org/wiki/Q413“，”display_name“：”物理“，”级别“：0，”分数“：0.0}，{”id“：”https://openalex.org/C166957645，“wikidata”：https://www.wikidata.org/wiki/Q23498“，”display_name“：”考古学“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C62520636，“wikidata”：https://www.wikidata.org/wiki/Q944网址“，”display_name“：”量子力学“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C17744445，“wikidata”：https://www.wikidata.org/wiki/Q36442“，”display_name“：”政治学“，”level“：0，”score“：0.0}，{”id“：”https://openalex.org/C199539241，“wikidata”：https://www.wikidata.org/wiki/Q7748“，”display_name“：”Law“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C95457728，“wikidata”：https://www.wikidata.org/wiki/Q309“，”display_name“：”History“，”level“：0，”score“：0.0}，{”id“：”https://openalex.org/C146978453，“wikidata”：https://www.wikidata.org/wiki/Q3798668“，”display_name“：”航空航天工程“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C111919701，“wikidata”：https://www.wikidata.org/wiki/Q9135“，”display_name“：”操作系统“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：1.”locations“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-400“，”pdf_url“：null，”source“：nul，”license“：null:”license_id“：nulse，”version“：null，”is_accepted“：false，”is_published“：false}]，”best_oa_location“：nuld，”sustainable_development_goals“：[{”display_name“：”目标合作伙伴关系“，”score“：0.44，”id“：”https://metadata.un.org/sdg/17“}]，”grants“：[]，”datasets“：[]，”versions“：[】，”referenced_works_count“：20，”referrenced_works“：]”https://openalex.org/W125541279","https://openalex.org/W1489183362","https://openalex.org/W1497571013","https://openalex.org/W1503071078","https://openalex.org/W1583869287","https://openalex.org/W1696263757","https://openalex.org/W172924847网址","https://openalex.org/W176994763","https://openalex.org/W1781855404","https://openalex.org/W1994451575","https://openalex.org/W2001289891","https://openalex.org/W2030224590","https://openalex.org/W2086026622","https://openalex.org/W2126626789","https://openalex.org/W2127574686","https://openalex.org/W2147243315","https://openalex.org/W2340735175","https://openalex.org/W2913459036","https://openalex.org/W3000492662","https://openalex.org/W70402205“]，”related_works“：[”https://openalex.org/W829973201","https://openalex.org/W758744382","https://openalex.org/W3193722158","https://openalex.org/W3175262910","https://openalex.org/W3108120191","https://openalex.org/W3108055919","https://openalex.org/W2966616682","https://openalex.org/W2792160808","https://openalex.org/W2750340514","https://openalex.org/W2287179215","https://openalex.org/W2206356167","https://openalex.org/W21836990","https://openalex.org/W2141637167","https://openalex.org/W2080148433","https://openalex.org/W2050922619","https://openalex.org/W1980725874","https://openalex.org/W1812376371","https://openalex.org/W1542503949","https://openalex.org/W1542164216","https://openalex.org/W109580605“]，”ngrams_url“：”https://api.openalex.org/works/W14781952/ngrams“，”abstract_inverted_index“：｛”Deep“：[0]，”space“：[1，23]，”missions“：[2，16]，”are“：[3，76]，”characterized“：[4114]，”by“：[5109]，”severly“：[6]，”constrained“：[7]，”communication“：[8]，”links.“：[9]，”To“：[10]，”meet“：[11]，”the“：[12,73]，”needs“：[13]，”of“：[14，30，81,90118]，”future“，”：[15，22]，“和”：[17，48，60，63，72113121]，“增加”：[18]，“他们的”：[19]，“科学“：[20]，”返回“：[21]，”系统“：[24]，”将“：[25]，”要求“：[26]，”一“：[27,95]，”增加“：[28]，”等级“：[29]，”自治“：[31,43]，”机载。“：[32]，”In“：[33]，”this“：[34]，”work“，“：[35]，”we“：[3]，”suggest“：[37]，”a“：[38,88]，”综合“：[39]，”方法“：[40104]，”to“：[41]，”板载“：[42,96]，”依赖“：[44]，”on“：[45105]，”基于模型“：[46]，”推理“：[47]，”包容“：[49]，”多“：[50]，”重要“：[51]，“推理”：[52,74]，“能力”：[53,75]，“例如”：[54,82]，“如”：[55,78]，“计划”：[56]，“生成，“：[57]，”验证“：[58]，”执行“：[59]，”监视“：[61]，”FDIR“：[62]，”运行时“：[64]，”诊断。“：[65]，”The“：[66]，”controlled“：[67]，”platform“：68]，”is“：[69]，”represented“：[70]，”symbolly“，”：[71]，”seen“：[77]，”signalic“：[79]，”manipulation“：[80]，”formal“：[83]，”model“。“：[84]，”我们“：[85100]，”拥有“：[86101]，”开发“：[87]，”原型“：[89]，”我们的“：[91103]，”框架“：[92]，”实现“：[93]，”内部“：[94]，”自主“：[97]，”推理“：[98]，”引擎“。“：[99]，”评估“：[102]，”两个“：[106]，”案例研究“：[107]，”启发“：[108]，”现实世界“：[110]，”进行中“：[111]，”项目“：[112]，”it“：[115]，”in“：[116]，”terms“：[117]，”可靠性“：[119]，”可用性“：[120]，”性能。“：[122]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W14781952“，”counts_by_year“：[{”年“：2021，”cited_by_count“：2}，{”年份“：2019，”cited_by_count”：1}，“{”年度“：2015，”citecd_by_count“：1}.，{“年份”：2014，”citted_by_count“:3}]，”updated_date“：”2024-05-20T14:22:49.543285“，”created_date:“2016-06-24”}