@misc{indiciaef8e0303972ea,
  title = {VernaCopter: Disambiguated Natural-Language-Driven Robot via Formal Specifications},
  author = {Teun van de Laar and Zengjie Zhang and Shuhao Qi and Sofie Haesaert and Zhiyong Sun},
  year = {2025},
  url = {https://arxiv.org/abs/2409.09536},
  note = {Source identifier: 2409.09536}
}