@misc{indiciae8de72f2eb8bc,
  title = {Bridging Natural Language and Formal Specification--Automated Translation of Software Requirements to LTL via Hierarchical Semantics Decomposition Using LLMs},
  author = {Zhi Ma and Cheng Wen and Zhexin Su and Xiao Liang and Cong Tian and Shengchao Qin and Mengfei Yang},
  year = {2025},
  doi = {10.1109/ase63991.2025.00104},
  url = {https://arxiv.org/abs/2512.17334},
  note = {Source identifier: 2512.17334}
}