标签： 时序逻辑

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