TY  - RPRT
TI  - VernaCopter: Disambiguated Natural-Language-Driven Robot via Formal Specifications
AU  - Teun van de Laar
AU  - Zengjie Zhang
AU  - Shuhao Qi
AU  - Sofie Haesaert
AU  - Zhiyong Sun
PY  - 2025
UR  - https://arxiv.org/abs/2409.09536
ID  - 2409.09536
ER  -