#多任务泛化

SpecMAGIC：规范引导的多智能体强化学习多任务泛化

论文提出 SpecMAGIC 分层框架，用结合时序逻辑的任务规范语言描述多智能体协作需求，并借助自动机结构做子任务分解。集中式高层规划器分配子任务序列，去中心化低层策略执行，从而按新规范组合可复用策略实现零样本泛化。作者证明了高层规划器的可靠性与概率完备性，多智能体导航实验显著优于现有方法。