标签： 析取图

IMR-LLM把多机器人任务拆成两层：大模型只判工序与分配，析取图加FIFO求解资源冲突，过程树生成可执行程序…