标签： 离散事件系统

大模型生成任务分配，LTLf 与有限状态自动机在旁验证；三个装配场景的规则满足率最高升到 92.5%。