@misc{indiciae7fdf46396175,
  title = {Correct-by-Construction Behavior Tree Synthesis from Signal Temporal Logic Specifications with Application to Robotic Missions},
  author = {Jiaheng Dong and Jingyi Huang and Liang Han},
  year = {2026},
  url = {https://arxiv.org/abs/2607.18731},
  note = {Source identifier: 2607.18731}
}