论文元数据
- 作者
- Jiaheng Dong、Jingyi Huang、Liang Han
- 机构
- 机构尚未补齐
- 发布日期精度
- 日
- 研究方向
- STL→正确性构造行为树（zone graph+层级不动点）vs LTL→BT/手工 BT（含定量时序约束能力）
- 机器人
- 仿真验证、物理四旋翼（未点名型号；6 条 STL 规约实验）
- DOI
- 未披露
- arXiv
- 2607.18731
- 引用元数据
- 0
- 记录状态
- included
- 质量检查
- 无自动质量红旗
论文记录 · 证据边界公开
Correct-by-Construction Behavior Tree Synthesis from Signal Temporal Logic Specifications with Application to Robotic Missions
arXiv（v1 2026-07-21；comments: 8 pages, 9 figures, submitted to IEEE） · 2026-07-21 · STL→正确性构造行为树（zone graph+层级不动点）vs LTL→BT/手工 BT（含定量时序约束能力）