arXivDaily arXiv每日学术速递 周一至周五更新

期刊&会议

IEEE RA-L

IEEE Robotics and Automation Letters · 期刊 · Robotics

2026-07-15 至 2026-07-15 共收录 1
2607.12220 2026-07-15 cs.RO 新提交

Contract-Grounded Behavior Tree Synthesis via Coding Agents

通过编码代理实现基于契约的行为树合成

Jonathan Salfity, Robert Blake Anderson, Mitch Pryor

机构 * The University of Texas at Austin(德克萨斯大学奥斯汀分校)

AI总结 研究从自然语言合成机器人行为树时基础设定易出现的问题,提出基于契约的合成架构,编码代理查询服务器获取契约后合成行为树,经实验评估两个大语言模型,结果显示该架构能实现高验证率和成功率,且可转移到物理硬件。

Comments IEEE RA-L Submission

详情

展开后加载摘要…

URL PDF HTML 收藏