2026
As You Wish: Mission Planning with Formal Verification Using LLMs in Precision Agriculture
ICRA 2026poster
Though robotic systems are now being commercialized and deployed in various industries, many of these systems are highly specialized and often require an advanced skill set to operate and ensure they perform as instructed. To mitigate this problem, it has been proposed to use large language models (…