Layered controller synthesis for dynamic multi-agent systems

Re-assign community