arXiv cs.RO 机器人学· Nikolaos Kekatos, Michael Ioannou, Panagiotis Katsaros, Alexios Lekidis, Theodoros Nestoridis, Tom Nianios, Dimitrios Nikou·· 5 小时前精选AI 评分55
面向 LLM 辅助 ISR 无人机集群的任务级运行时保障框架论文
Mission-Level Runtime Assurance for LLM-Assisted ISR Swarms over a Verification-Aware Fabric
AI 导读
论文提出面向 LLM 辅助自主机器人集群的三层（平台/连队/任务）组合式运行时验证框架，将任务策略拆解为单智能体与跨智能体两部分，通过验证感知消息网络聚合各平台判定，并用证据感知的双轴（安全性×完整性）代数融合结果。
推荐理由
论文指出单平台合规动作组合后仍可能违反任务级策略，其三层运行时验证思路可用于评估多机器人协同系统的监控盲区。
来源：arXiv cs.RO 机器人学 · arxiv.org