@misc{indiciae31705ccc2c2c,
  title = {Automatic Generation of Safety-compliant Linear Temporal Logic via Large Language Model: A Self-supervised Framework},
  author = {Junle Li and Siqi Chen and Jiakai Li and Meiqi Tian and Bingzhuo Zhong},
  year = {2026},
  url = {https://arxiv.org/abs/2503.15840},
  note = {Source identifier: 2503.15840}
}