arXiv cs.RO· Tiehan Cui, Peipei Liu, Yanxu Mao, Gaosheng Wang, Mingzhe Xing, Datao You·· 4 小时前AI 评分51
NEXUS：联合学习安全约束与动作模型的具身规划框架
NEXUS: Learning Safety Constraints and Action Models for Safe and Robust Embodied Planning
AI 导读
NEXUS 是一个模块化神经符号框架，同时维护 PDDL 动作域模型与 LTL 安全规范：执行失败用于修复动作模式，检测到的危险则通过分层语义与翻译采样及等价共识转化为可复用的 LTL 约束。
来源：arXiv cs.RO · arxiv.org