{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2023,1,2]，“日期时间”：“2023-01-02T05:56:02Z”，“时间戳”：1672638962920}，“引用-计数”：93，“发布者”：“计算机协会（ACM）”，“问题”：“4”，“内容域”：{domain“域”：[”dl.ACM.org“]，“交叉标记限制”：真}，“short-container-title”：[“ACM Trans.Intell.Syst.Technol.”]，“published-print”：{“date-parts”：[[2021,8,31]]}，“abstract”：“深空任务的特点是通信链路严重受限。为了满足未来任务的需要并增加其科学回报，未来的空间系统将需要提高机载自主性。在这项工作中，我们提出了一种全面的车载自主性方法。我们依赖于基于模型的推理，并考虑了许多重要的（在线和离线）推理功能，例如计划生成、验证、执行和监控、运行时诊断以及故障检测、识别和恢复。受控平台用符号表示，推理能力被视为对这种形式化模型的符号操作。我们已经开发了框架的原型，并将其集成到车载自主推理引擎中。最后，我们对受真实项目启发的三个案例研究进行了评估，并从可靠性、可用性和性能方面对其进行了描述<\/jats:p>“，”DOI“：”10.1145\/3472715“，”type“：”journal-article“，”created“：{”date-parts“：[2021,8,21]]，”date-time“：”2021-08-21T04:27:55Z“，”timestamp“：1629520075000}，”page“：“标题”：[“车载自主验证和验证的综合方法“]，”前缀“：”10.1145“，”卷“：”12“，”作者“：[{”ORCID“：”http://\/ORCID.org\/0000-0002-4135-103X“，”authenticated-ORCID“：false，”给定“：”Marco“，”family“：”Bozzano“，”sequence“：”first“，”affiliation“：”[{“name”：“Fondazione Bruno Kessler，Povo-Trento，Italy”}]}，{“ORCID”：“”http://\/orcid.org\/00000-0002-1315-6990“，”authenticated-orcid“：false，”given“：”Alessandro“，”family“：”Cimatti“，”sequence“：”additional“，”affiliation“：[{”name“：”Fondazione Bruno Kessler，Povo-Trento，Italy“}]}，{”orcid“：“，”sequence“：”additional“，”affiliation“：[{”name“：”信息工程与计算机科学系\u2013意大利波伏特伦托特伦托大学“}]}]，”member“：”320“，”published-on-line“：{”date-parts“：[[2021,8,20]]}，”reference“：[}”key“：”e_1_2_1_1_1“，”doi-asserted-by“：”publisher“，”doi“：”10.5555\/1597148.1597229“}，{“key”：“e_2_2_2_1”，“doi-assert-b”y“：”publisher“，”DOI“：”10.5555\/3037104.3037131“}，{“key”：“e_1_2_1_3_1”，“volume-title”：“可满足性手册（人工智能和应用的前沿）”，“卷”：“885”，“作者”：“Barrett C.W.”，“非结构化”：“C.W.Barrett，R.Sebastiani，S.A.Seshia，and C.Tinelli.2009。可满足性模理论。在《可满足性手册》（人工智能和应用前沿，第185卷）中。IOS出版社，825\u2013 885。C.W.Barrett、R.Sebastiani、S.A.Seshia和C.Tinelli。2009年，可满足性模理论。在《可满足性手册》（人工智能和应用前沿，第185卷）中。IOS出版社，825\u2013885.“}，{”key“：”e_1_1_4_1“，”doi-asserted-by“：”publisher“，“doi”：“10.5555\/1567281.1567332”}，“key”：“e_2_1_5_1”，“doi-assert-by”：“publisher”，”doi“：”10.1007\/978-3-540-74128-2_1/3037104.3037153“}，{”key“：”e_1_2_1_7_1“，”doi-asserted-by“：”publisher“，“doi”：“10.5555\/1644517.1644675“}，{“key”：“e_1_2_1_8_1”，“doi-asserted-by”：“publisher”，”doi“：”10.5555\/3037008.3037044“}”，{”key“：”e_1_cu1_9_1“，”首页“：”118“，“article-title”：“有界模型检查”，“volume”：”58“，“author”：“Biere A.”，“year”：“2003”，“unstructured”：“A.Biere，A.Cimatti，e.M.Clarke，O.Strichman”、和Y。朱。2003 . 边界模型检查。高级计算。58（2003），118\u2013 149。A.Biere、A.Cimatti、E.M.Clarke、O.Strichman和Y.Zhu。2003.有界模型检查。高级计算。58（2003），118\u2013149.”，“新闻标题”：“高级计算。“｝，｛”key“：”e_1_2_10_1“，”doi由“：”publisher“断言，”doi“：”10.1007\/978-3-662-49674-9_31“｝，｛”key“：”e_1_1_11_1“，”doi由“：”publisher“断言，”doi“：”10.5555\/2900728.2900830“｝，｛”key“：”e_1_1_12_1“，”doi由“：”publisher“断言，”doi“：”10.5555\/3090475.3090482“｝，｛”key“：”e_1_13_1“，”doi由“：”publisher“断言，”doi“：”10.1007 \/s00165-021-00532-9“}，{“key”：“e_1_2_1_14_1”，“volume-title”：“第十届欧空局机器人和自动化先进空间技术研讨会论文集”，“作者”：“Bozzano M.”，《非结构化》：“M.Bozzano-，A.Cimatti，A.Guiotto，A.Martelli，M.Roveri，A.Tchaltsev，and Y.Yushtein.2008。通过基于符号模型的推理实现车载自主。《欧空局第十届机器人和自动化先进空间技术研讨会论文集》（ASTRA’2008）。M.Bozzano、A.Cimatti、A.Guiotto、A.Martelli、M.Roveri、A.Tchaltsev和Y.Yushtein。2008.通过基于符号模型的推理实现车载自主权。《欧空局第十届机器人和自动化先进空间技术研讨会论文集》（ASTRA’2008）。“}，{”key“：”e_1_1_15_1“，”doi-asserted-by“：”publisher“，“doi”：“10.1093\/comjnl\/bxq024”}，“key”：“e_2_1_16_1”，“volume-title”：“计算机辅助验证会议论文集（CAV'15）”，“author”：“Bozzano M.”，”unstructured“：”M.Bozzano.，A.Cimatti，C.Mattarei，and A.Griggio.2015。基于模型的安全分析的高效随时技术。计算机辅助验证会议记录（CAV’15）。603\u2013621。M.Bozzano、A.Cimatti、C.Mattarei和A.Griggio。2015.基于模型的安全分析的高效随时技术。计算机辅助验证会议记录（CAV’15）。603\u2013621.“｝，｛”键“：”e_1_2_1_17_1“，”卷标题“：”技术报告OBMC-TN-FBK-02。Fondazione Bruno Kessler \u2013 IRST.“，“author”：“Bozzano M.”，“year”：“2007”，“unstructured”：“M.Bozzano，A.Cimatti，and M.Roveri。2007年。OMC-ARE\u2014软件需求规范（SRS）。技术报告OBMC-TN-FBK-02。Bruno Kessler基金会\u2013 IRST.M.Bozzano、A.Cimatti和M.Roveri.2007。OMC-ARE\u2014软件需求规范（SRS）。技术报告OBMC-TN-FBK-02。Fondazione Bruno Kessler \u2013 IRST.“}，{“key”：“e_1_2_1_18_1”，“volume-title”：“技术报告OBMC-TN-FBK-01。布鲁诺·凯斯勒基金会。“，”author“：”Bozzano M.“，”year“：”2007“，”unstructured“：”M.Bozzano、A.Cimatti和M.Roveri。2007年。OMC-ARE\u2014技术说明（TN 1）。技术报告OBMC-TN-FBK-01。布鲁诺·凯斯勒基金会。M.Bozzano、A.Cimatti和M.Roveri，2007年。OMC-ARE\u2014技术说明（TN1）。技术报告OBMC-TN-FBK-01。布鲁诺·凯斯勒基金会。“}，{”key“：”e_1_1_19_1“，”doi-asserted-by“：”publisher“，“doi”：“10.5555\/2283696.2283797”}，“key”：“e_2_1_20_1”，“doi-assert-by”：“publisher”，”doi“：”10.1007\/s10009-006-0001-2：“e_1_2_1_22_1”，“doi-asserted-by”：“publisher”，”doi“：”10.1145\/136035.13643“}，{“key”：“e_1_2_1_23_1“，”doi-asserted-by“：”publisher“，“doi”：“10.1007\/978-3642-13464-7_13”}，{“key”：“e_1_i_1_24_1”，“doi-assert-by”：“publisher”，”doi“：”10.1109\/ACSD.2007.27“}，”{“密钥”：“e_1_2_1_25_1”、“doi-sserted-by”:“publishers”，“doi:”10.1007\/978-3-319-08867-9_22“}”，{”key“：”e_1_2_1_26_1“，”doi-asserted-by“：”publisher“，“doi”：“10.5555\/1333874.1334136”}，{“key“：”e_1_2_1_27_1“，”volume-title“：”ASTRA会议记录。欧洲航天局，ESA\/ESTEC。”，“作者”：“Ceballos A.”，“年份”：“2011”，“非结构化”：“A.Ceballos，S.Bensalem，A.Cesta，L.De Silva，S.Fratini，F.Ingland，J.Ocon，A.Orlandini，G.Py，K.Rajan，T.Rasconi和M.va Winnendael。2011 . 面向目标的空间探索自主控制器。在ASTRA会议记录中。欧洲航天局，ESA\/ESTEC。A.Ceballos、S.Bensalem、A.Cesta、L.De Silva、S.Fratini、F.Ingrand、J.Ocon、A.Orlandini、G.Py、K.Rajan、T.Rasconi和M.va Winnendael。2011年，面向目标的空间探索自主控制器。ASTRA会议记录。欧洲航天局，ESA\/ESTEC。}，{“key”：“e_1_2_1_28_1”，“volume-title”：“空间规划与调度研讨会论文集”，“author”：“Cichy B.”，“unstructured”：“B.Cichy，S.Chien，S.Schaffer，D.Tran，G.Rabideau，R.Sherwood，2004。验证自主EO-1科学代理。《空间规划与调度研讨会论文集》。B.Cichy、S.Chien、S.Schaffer、D.Tran、G.Rabideau和R.Sherwood。2004.验证自主EO-1科学代理。《空间规划与调度研讨会论文集》。“}，{”key“：”e_1_1_29_1“，”doi-asserted-by“：”publisher“，“doi”：“10.1007\/s100090050046”}，“key”：“e_1_I_1_30_1”，“doi-assert-by”：“publisher”，”doi“：”10.1016\/j.artint.2017.11.006“}”，{S）“，”卷“：”11561“，“作者”：“Cimatti A.”，“非结构化”：“A.Cimatti，A.Griggio，E.Magnago，M.Roveri，and S.Tonetta。2019.利用定时转换系统和定时时间属性扩展nuXmv。在第31届国际计算机辅助验证会议记录（LNCS）中，I.Dillig和S.Tasiran（编辑），第11561卷。施普林格，376\u2013386。A.Cimatti、A.Griggio、E.Magnago、M.Roveri和S.Tonetta。2019.使用定时转换系统和定时时间属性扩展nuXmv。在第31届国际计算机辅助验证会议记录（LNCS）中，I.Dillig和S.Tasiran（编辑），第11561卷。Springer，376\u2013386.“}，{“key”：“e_1_2_1_32_1”，“volume-title”：“第20届系统构建与分析工具与算法国际会议论文集（LNCS），e.\u00c1brah\u00e1m和K.Havelund（Eds.）”，“卷”：“8413”，“作者”：“Cimatti A.”，“非结构化”：“A.Cimatti，A.Griggio，S.Mover和S.Tonetta，2014。通过隐式谓词抽象实现IC3模理论。《第20届系统构建与分析工具与算法国际会议论文集》，E.\u00c1brah\u00e1m和K.Havelund（编辑），第8413卷。施普林格，46\u201361。A.Cimatti、A.Griggio、S.Mover和S.Tonetta。2014.通过隐式谓词抽象的IC3模理论。《第20届系统构建与分析工具与算法国际会议论文集》，E.\u00c1brah\u00e1m和K.Havelund（编辑），第8413卷。Springer，46\u201361.“}，{”key“：”e_1_1_33_1“，”doi-asserted-by“：”publisher“，“doi”：“10.5555\/2032305.2032330”}，“key”：“e_2_1_34_1”，“doi-assert-by”：“publisher”，”doi“：”10.5555\/1630659.1630713-3702（02）00374-0“}，{“键”：“e_1_2_1_36_1”，“doi-asserted-by”：“出版商”，“doi”：“10.5555\/1622262269“}，{“key”：“e_1_1_37_1”，“doi-asserted-by”：“publisher”，”doi“：”10.1016\/j.artint.2004.05.003“}”，{”key“：”e_2_1_38_1“，”doi-assert-by“：”publisher“，\/876638.876643“}，{”key“：”e_1_2_1_40_1“，”doi-asserted-by“：”publisher“，“doi”：“10.5555\/332656“}，{“key”：“e_1_2_1_41_1”，“volume-title”：“规划与调度知识工程研讨会论文集，结合第21届国际自动规划与调度会议”，“author”：“Clement B.”，“unstructured”：“B.Clement，J.Frank，J.Chachere，T.Smith，K.Swanson，2011。交互式模型开发环境中仿真中接地规划的挑战。《规划和调度知识工程研讨会论文集》，结合第21届国际自动规划和调度会议。B.Clement、J.Frank、J.Chachere、T.Smith和K.Swanson。2011.交互式模型开发环境中模拟接地规划的挑战。《规划和调度知识工程研讨会论文集》，结合第21届国际自动规划和调度会议。“｝，｛”key“：”e_1_2_1_42_1“，”doi由“：”publisher“断言，”doi“：”10.1109\/RAMS.2006.1677320“｝，｛”key“：”e_1_2_1_43_1“，”非结构化“：”ECSS 2021。欧洲空间标准化合作。检索自https:\/\/ecss.nl.ecss 2021。欧洲空间标准化合作。检索自https:\/\/ecss.nl.“}，{“key”：“e_1_1_44_1”，“doi-asserted-by”：“publisher”，”doi“：”10.5555\/114891.114907“}”，{”key“：”e_1_i_1_45_1“，”doi-assert-by“：”publisher“，“doi”：“10.3389\/frobt.2019.0123”}，“key“:”e_2_1_46_1“”，“unstructured”：“Estrel[n.d]Esterel technologies \u2014关键系统和软件开发解决方案。检索自http://www.esterel-technologies.com/。埃斯特雷尔[未注明日期]。Esterel technologies \u2014关键系统和软件开发解决方案。检索自http://www.esterel-technologies.com/。“}，{”key“：”e_1_1_47_1“，”doi-asserted-by“：”publisher“，“doi”：“10.5555\/208454”}，“key”：“e_1_i_1_48_1”，“volume-title”：“AF摘要会议录，第34届COSPAR科学大会，第二届世界空间大会。”，“author”：“Fesq L.”，”unstructured“：”L.Fesq，M.Ingham，M.Pekala，J.Van Eepoel，D.Watson，and B.C.Williams.2002。下一代机器人航天器的基于模型的自主性。在第34届空间研委会科学大会第二届世界空间大会AF摘要会议记录中。L.Fesq、M.Ingham、M.Pekala、J.Van Eepoel、D.Watson和B.C.Williams。2002.下一代机器人航天器的基于模型的自主性。在第34届空间研委会科学大会第二届世界空间大会AF摘要会议记录中。“}，{”key“：”e_1_1_49_1“，”doi-asserted-by“：”publisher“，“doi”：“10.5555\/1622452.1622454”}，“key”：“e_2_1_50_1”，“doi-assert-by”：“publisher”，”doi“：”10.1109\/ICAC.2015.72“}”，{“J.Frank，B。Clement、J.Chachere、T.Smith和K.Swanson。2011.配置基于模型的空间任务规划师的挑战。第七届空间规划与调度国际研讨会论文集。J.Frank、B.Clement、J.Chachere、T.Smith和K.Swanson。2011.配置基于模型的空间任务规划师的挑战。第七届空间规划与调度国际研讨会论文集。“}，{”key“：”e_1_1_52_1“，”doi-asserted-by“：”publisher“，“doi”：“10.5555\/1867135.1867260”}，“key”：“e_2_1_53_1”，“doi-assert-by”：“publisher”，”doi“：”10.5555\/292092.292130“}”，{“”Ghallab M.”，“非结构化”：“M.Ghallap、F.Ingrand、S.Lemai和F.Py。2001.空间自治的建筑和工具。《国际空间人工智能、机器人和自动化研讨会论文集》（ISAIRAS'01）。M.Ghallab、F.Ingrand、S.Lemai和F.Py.2001年。空间自治的架构和工具。《国际空间人工智能、机器人和自动化研讨会论文集》（ISAIRAS'01）。“}，{”key“：”e_1_1_55_1“，”doi-asserted-by“：”publisher“，“doi”：“10.5555\/975615”}，“key”：“e_1_i_1_56_1”，“volume-title”：“第二十届诊断原理国际研讨会论文集（DX'09）”，“author”：“Grastien A.”，“year”：“2009”，“unstructured”：“A.”。格雷斯廷。2009 . 可诊断性的符号测试。第20届诊断原理国际研讨会论文集（DX'09）。A.格雷斯廷。2009年，可诊断性的符号测试。第20届诊断原理国际研讨会论文集（DX'09）。“｝，｛”键“：”e_1_2_1_57_1“，”非结构化“：”A.Guiotto M.Roveri and A.Tchaltsev.[n.d.].OMC-ARE\u2014 ARE软件设计文件.SD-SP-AI-0159。A.Guiotto M.Roveri和A.Tchaltsev。【未注明日期】。OMC-ARE\u2014 ARE软件设计文件。SD-SP-AI-0159。”}，｛“密钥”：“e_1_2_1_58_1”，“非结构化”：“J.e.Hopcroft和J.D.Ullman。1979。自动机理论语言与计算导论。艾迪森·韦斯利。J.E.Hopcroft和J.D.Ullman。1979.自动机理论语言与计算导论。艾迪森·韦斯利。“}，{”key“：”e_1_1_59_1“，”doi-asserted-by“：”publisher“，“doi”：“10.1109\/9.940942”}，“key”：“e_1_i_1_60_1”，“doi-assert-by”：“publisher”，”doi“：”10.5555\/162737.1622748“}”，{“key“:”e_2_1_61_1“、”unstructured“：”K.Kapellos.2005。正式机器人任务检查和调试（MUROCO II）执行摘要第1期ESA合同17987\/03\/NL \/SFe。https:\/\/esamultimedia.esa.int\/docs\/Arora\/execsumples\/MUROCO_TRA_EXSUM.pdf。卡佩洛斯。2005.正式机器人任务检查和调试（MUROCO II）执行摘要第1期ESA合同17987\/03\/NL \/SFe。https:\/\/esamultimedia.esa.int\/docs\/Arora\/execsumples\/MUROCO_TRA_EXSUM.pdf。“}，{”key“：”e_1_1_62_1“，”doi-asserted-by“：”publisher“，“doi”：“10.1007\/11817963_39”}，“key”：“e_2_1_63_1”，“doi-assert-by”：“publisher”，”doi“：”10.1145\/11111320.1111042 1_2_1_65_1“，”doi-asserted-by“：”publisher“，“doi”：“10.5555\/530225”}，{“键”：“e_1_1_66_1”，“doi-asserted-by“：”publisher“，”doi“：”10.5555\/1619332.1619386“}，{“key”：“e_1_2_67_1”，“unstructured”：“T.M.Moerland J.Broekens和C.M.Jonker.2020。强化学习和计划的框架。arxiv:cs公司。LG \/2006.15009 T.M.Moerland J.Broekens和C.M.Jonker。2020年，强化学习和规划框架。arxiv:cs公司。LG\/2006.15009“}，{”key“：”e_1_1_68_1“，”doi-asserted-by“：”publisher“，“doi”：“10.5555\/8341.83477”}，“key”：“e_1_i_1_69_1”，“volume-title”：“AIAA空间论坛论文集”，“author”：“Morris P.”，”unstructured“：”P.Morris，M.Do，R.McCann，L.Spirkovska，M.Schwabacher，and J.Frank.2014。确定设备故障的任务影响。AIAA空间论坛会议记录。P.Morris、M.Do、R.McCann、L.Spirkovska、M.Schwabacher和J.Frank。2014.确定设备故障的任务影响。AIAA空间论坛会议记录。“}，{”key“：”e_1_2_1_70_1“，”非结构化“：”MSF.2020。Matlab-StateFlow-Simulink。检索自http://www.mathworks.com.MSF。2020年，Matlab-State-Flow-Simulink。检索自http://www.mathworks.com.“}，{“key”：“e_1_1_71_1”，“volume-title”：“第十八届诊断原理与实践国际研讨会论文集.162\u2013169”，《作者》：“Narasimham S.”，‘非结构化’：“S.Narasimham和L.Brownstone，2007。Hyde \u2014基于随机和混合模型诊断的一般框架。第18届诊断原理与实践国际研讨会论文集。162\u2013169。S.Narasimham和L.Brownstone。2007年，Hyde\u2014随机和混合模型诊断的一般框架。在第18届诊断原理与实践国际研讨会论文集上。162\u2013169.“}，{”key“：”e_1_1_72_1“，”doi-asserted-by“：”publisher“，“doi”：“10.2478\/v10006-012-0007-8”}，}，“key”：“e_2_1_73_1”，“unstructured”：“OMC-ARE 2008。OMC-ARE：车载模型检查-自主推理引擎。ESA ITT-AO\/1-5184\/06\/NL\/JD-车载模型检查项目。检索自http://\/es.fbk.eu\/projects\/esa_omc-are\/。OMC-ARE 2008。OMC-ARE：车载模型检查-自主推理引擎。ESA ITT-AO \/1-5184\/06 \/NL \/JD-车载模型检查项目。检索自http://\/es.fbk.eu\/projects\/esa_omc-are\/。“}，{”key“：”e_1_1_74_1“，”doi-asserted-by“：”publisher“，“doi”：“10.5555\/1642090.1642156”}，“key”：“e_2_1_75_1”，“doi-assert-by”：“publisher”，”doi“：”10.55555\/162637.1622640“}”，{“key“:”e_2_ 1_76_1“、”doi-asertd-by“：”publisher“，”doi:“10.1109\/SFCS.1977.32”}、{“”key“：”e_1_2_1_77_1“，”doi-asserted-by“：”publisher“，“doi”：“10.5555\/646482.691453”}，{“key”：“e_1_2_1_78_1“，”doi-asserted-by“：”publisher“，“doi”：“10.5555\/1622737.1622749”}，{“key”：“e_1_cu1_79_1”，“volume-title”：“IEEE属性规范语言标准（PSL）”，“author”：“EE.”，“year”：“1850”，“unstructured”：“IE EE.2005。IEEE属性规范语言标准（PSL）。IEEE标准1850-2005（2005）。电气与电子工程师协会。2005.IEEE属性规范语言标准（PSL）。IEEE标准1850-2005（2005）。“}，{”key“：”e_1_1_80_1“，”doi-asserted-by“：”publisher“，“doi”：“10.5555\/1625275.1625360”}，“key”：“e_2_1_81_1”，“doi-assert-by”：“publisher”，”doi“：”10.55555\/647766.733618“}、{”密钥“：”e_1_2_82_1“、”非结构化“：”J.Schrittwieser I.Antonoglou T.Hubert K.Simonyan L.Sifre S.Schmitt A.Guez e.Lock哈特·D·哈萨比斯·T·格雷佩尔·T·P·利利克拉普和D·。银牌。2019年。通过学习模型掌握雅达利围棋和将棋。CoRR abs 1911.08265（2019）。J.Schrittwieser I.Antonoglou T.Hubert K.Simonyan L.Sifre S.Schmitt A.Guez E.Lockhart D.Hassabis T.Graepel T.P.Lillicrap和D.Silver。2019.通过学习模型规划，掌握雅达利围棋和Shogi。CoRR abs 1911.08265（2019）。“}，{”key“：”e_1_2_1_83_1“，”volume-title“：”Mobile Robots XVI“，”author“：”Smart W.D.“，”year“：”2001“，”unstructured“：”W.D.Smart and L.Pack Kaelbling.2001。机器人控制的强化学习。《移动机器人十六》，美国马萨诸塞州波士顿，2001年10月28日（SPIE Proceedings），D.W.Gage和H.Choset（Eds.），第4573卷。SPIE，92\u2013103。W.D.Smart和L.Pack Kaelbling。2001.机器人控制强化学习。《移动机器人十六》，美国马萨诸塞州波士顿，2001年10月28日（SPIE Proceedings），D.W.Gage和H.Choset（Eds.），第4573卷。SPIE，92\u2013103.“}，{”key“：”e_1_2_1_84_1“，”unstructured“：”SpaceEconomy 2019。什么是空间经济。检索自https:\/\/space-economy.esa.int\/article\/33\/what-is-the-space-ecomy。2019年太空经济。什么是空间经济。检索自https:\/\/space-economy.esa.int\/article\/33\/what-is-the-space-ecomy。“}，{”key“：”e_1_2_1_85_1“，”volume-title“：“ASTRA会议记录。欧洲航天局，ESA\/ESTEC。”，“author”：“Steel R.”，“unstructured”：“R.Steel，A.Hoffman，A.Cimatti，M.Roveri，K.Kapellos，A.Donati，and N.Policella.2011。创新的漫游者操作概念\u2014自主规划保持狗领先。ASTRA会议记录。欧洲航天局。R.Steel、A.Hoffman、A.Cimatti、M.Roveri、K.Kapellos、A.Donati和N.Policella。2011年，创新的漫游者操作概念\u2014自主规划保持狗领先。在ASTRA会议记录中。欧洲航天局，ESA\/ESTEC。“}，{”key“：”e_1_1_86_1“，”first page“：“2012”，”volume-title“：”SpaceOps Conference.DOI:https:\\//DOI.org\\10“，”author“：”Steel R.“，“unstructured”：“R.Steel，A.Hoffman，M.Niezette，A.Cimatti，M.Roveri，K.Kapellos，A.Donati，and N.Policella.2012。创新的漫游者操作概念\u2014自主规划器（IRONCAP）\u2014支持地面漫游者操作规划。在空间行动会议记录中。DOI:https:\/\/DOI.org\/10.2514\/6。2012年-1294460 R.Steel、A.Hoffman、M.Niezette、A.Cimatti、M.Roveri、K.Kapellos、A.Donati和N.Policella。2012.创新的漫游者操作概念\u2014自主规划器（IRONCAP）\u2014支持地面漫游者操作规划。在空间行动会议记录中。DOI:https:\/\/DOI.org\/10.2514\/6.2012-1294460“}，{”key“：”e_1_2_1_87_1“，”first page“：“2014”，“volume-title”：“第十三届国际空间操作会议论文集。DOI:https:\//DOI.org\/10”，“作者”：“Steel R.”，”非结构化“：”R.Steel，A.Hoffmann，M.Niezette，A.Cimatti，M.Roveri，K.Kapellos，A.Donati，and N。波利塞拉。2014.创新的路虎运营概念\u2014自主规划器（IRONCAP）\u2014结束冒险。在第13届国际空间行动会议记录中。DOI:https:\/\/DOI.org\/10.2514\/6。2014-1838 10.2514\/2014年6月18日-1838 R.Steel、A.Hoffmann、M.Niezette、A.Cimatti、M.Roveri、K.Kapellos、A.Donati和N.Policella。2014.创新的路虎运营概念\u2014自主规划器（IRONCAP）\u2014结束冒险。第13届国际空间操作会议记录。DOI:https:\/\/DOI.org\/10.2514\/6.2014-1838“}，{“key”：“e_1_1_88_1”，“DOI-asserted-by”：“publisher”，”DOI“：”10.1109\/JSYST.2017.2720682“}”，{”key“：”e_1_i_1_89_1“，”volume-title“：”第十一届空间规划与调度国际研讨会（IWPSS’19）会议记录“，”author“：”Troesch M.“，“unstructured”：“M.Troesch，F.Mirza，G。Rabideau和S.Chien。2019年。使用预先编译的备份观测数据进行车载重新规划，以进行稳健的制图。第十一届空间规划与调度国际研讨会（IWPSS’19）会议记录。168\u2013175。M.Troesch、F.Mirza、G.Rabideau和S.Chien。2019年。使用预先编译的备份观测数据进行车载重新规划，以进行稳健的制图。第十一届空间规划与调度国际研讨会（IWPSS’19）会议记录。168\u2013175.“}，{”key“：”e_1_1_90_1“，”doi-asserted-by“：”publisher“，“doi”：“10.5555\/295240.295920”}，“key”：“e_2_1_91_1”，“doi-assert-by”：“publisher”，”doi“：”10.55555\/1864519.1864531“}”，{“key“”：“e_1_2_1_92_1”、“非结构化”：“M.Woods D.Long R.Aylett L.Baldwin and G.Wilson，2006。火星任务车载计划器（MMOPS）总结报告第1期ESA合同17987\/03\/NL \/SFe CCN1。ftp:\/\/ftp.estec.esa.nl \/pub \/wm \/anonymous \/wme \/Web \/mmops2006.pdf。M.Woods D.Long R.Aylett L.Baldwin和G.Wilson。2006年，火星任务车载计划器（MMOPS）总结报告第1期ESA合同17987\/03\/NL \/SFe CCN1。ftp:\/\/ftp.estec.esa.nl \/pub \/wm \/anonymous \/wme \/Web \/mmops2006.pdf。“}，{”key“：”e_1_1_93_1“，”doi-asserted-by“：”publisher“，“doi”：“10.1016\/j.robot.2019.01.003”}]，“container-title”：[”ACM Transactions on Intelligent Systems and Technology“]，”original-title“：[]，”language“：”en“，”link“：[{”URL“：”https:\/\/dl.ACM.org\/doi\/pdf\/10.1145\/3472715“，”内容类型“：”unspecified“，”content-v版本“：”vor“，”intended-application“：”相似性检查“}”，“存放”：{“日期-部分”：[[2023,1,2]]，“日期-时间”：“2023-01-02T01:17:59Z”，“时间戳”：1672622279000}，“分数”：1，“资源”：{“主要”:{“URL”：“https:\/\/dl.acm.org\/doi\/10.1145\/3472715”}，”副标题：[]，“短标题”：[]，“references-count”：93，“journal-issue”：{“issue”：“4”，“published-print“：{“date-parts”：[[2021,8,31]]}}，“alternative-id”：[“10.1145\/3472715”]，“URL”：“http://\/dx.doi.org\/10.1145\/3472815”，“relationship”：{}，”ISSN“：[“2157-6904”，“2157-6 912”]，”ISSN-type“：[{“value”：“2157-604”，”type“:”print“}”，{“value”：“21 57-6912”2“，”type“：”electronic“}]，”subject“：[]，”published“：{”date-parts“：[2021,8,20]]}，”assertion“：[{”value“：“2016-02-01“，”order“：0，”name“：”received“，”label“：”received“，“group”：{“name”：“publication_history”，“label”：“publication history”}}，{“value”：“2021-05-01”，“order”：1，“name”（名称）：“accepted”（接受），“lable”：“accepted（接受）”，”group“：{”name“:”publication_history“，”标签“：”publication-history“}}”，{”value“：”2021-08-20“，”订单“：2，“name“：：“已发布”，“组”：{name“：”publication_history“，”label“：”出版历史“｝｝]｝｝