arXiv preprint / cs.RO

Correct-by-Construction Behavior Tree Synthesis from Signal Temporal Logic Specifications with Application to Robotic Missions

作者：Jiaheng Dong, Jingyi Huang, Liang Han · 会议/期刊：arXiv preprint · 方向：cs.RO · 发布日期：2026-07-22

2026-07-22机器人
新标签打开 AlphaXiv
Correct-by-Construction Behavior Tree Synthesis from Signal Temporal Logic Specifications with Application to Robotic Missions figure
AlphaXiv 中文概览（可滚动查看）