| Date of Award | Aug 2024 |
|---|---|
| Original language | English |
| Supervisor | Zhiyong Sun (Supervisor 1) |
VernaCopter: Natural Language-based Drone Control using Large Language Models and Formal Specifications
Student thesis: Master