arXiv cs.RO 机器人学· Dimitrios Nikou, Nikolaos Kekatos, Sophia Petridou, Stylianos Basagiannis·· 1 天前AI 评分44
面向时间关键自主动作的任务感知证明信封：一项 V2I 硬件在环研究
Mission-Aware Attestation Envelopes for Time-Critical Autonomous Action: A Hardware-in-the-Loop V2I Study
AI 导读
一项硬件在环 V2I 研究将任务感知证明建模为运行时保障契约，把完整性有效、证据足够新鲜、决策在预算内完成三个条件绑定，把二值门控的两种结果扩展为四种，区分篡改、证据过期与决策超时导致的拒绝。
来源：arXiv cs.RO 机器人学 · arxiv.org