@misc{indiciaedcfeb9b364b5,
  title = {End-to-End Abstraction-Based Control with LLM-Enhanced NL-to-LTL Translation},
  author = {Amir Bayat and Necmiye Ozay and Alessandro Abate and Raphael M. Jungers},
  year = {2026},
  url = {https://arxiv.org/abs/2606.30163},
  note = {Source identifier: 2606.30163}
}