How it works

A central planner reads formal task specs and assigns compatible subtask sequences to each agent. Agents run independently, enabling zero-shot coordination.