TY  - RPRT
TI  - Correct-by-Construction Behavior Tree Synthesis from Signal Temporal Logic Specifications with Application to Robotic Missions
AU  - Jiaheng Dong
AU  - Jingyi Huang
AU  - Liang Han
PY  - 2026
UR  - https://arxiv.org/abs/2607.18731
ID  - 2607.18731
ER  -