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

SpecMAGIC 是一种面向多智能体强化学习的分层框架，利用结合时序逻辑的任务规范语言与自动机结构实现子任务分解。该框架由中心化高层规划器分配子任务序列、去中心化底层策略执行具体子任务，无需重新训练即可通过组合策略实现新任务的零样本泛化。多智能体导航实验表明，其在未见任务规范下的性能显著优于现有方法。