标签
该论文提出一种层次化反馈引导的LLM规划框架，将自然语言指令转换为多组件信息物理系统（CPS）的可执行任务计划与STL约束，并通过诊断反馈修正不一致，GPT-5在七个场景上达到87.9%的成功率。
本文提出了一种基于自动机的新型方法，用于从信号时序逻辑规范中进行控制综合，利用强化学习，相比现有方法，提高了鲁棒性分数和满足率。