As You Wish: Mission Planning with Formal Verification using LLMs in Precision Agriculture
如您所愿:利用LLM在精准农业中进行形式化验证的任务规划
机构 * University of California, Merced(加州大学默塞德分校)
专题命中 规划推理 :planning(title,abstract);分类 cs.AI
AI总结 针对自然语言歧义性,提出基于线性时序逻辑(LTL)反馈循环的LLM任务规划系统,通过双LLM分工实现规范生成与验证,提升精准农业任务规划的可靠性。
Journal ref Published in Proceedings of 2026 International Conference on Robotics and Automation (ICRA)