---
title: Learning to Coordinate (L2C)
url: https://www.emergentmind.com/topics/learning-to-coordinate-l2c
type: topic
---

# Learning to Coordinate (L2C)

Learning to Coordinate (L2C) denotes a family of research problems concerned with how multiple decision-making entities learn mutually compatible behavior under coupling, uncertainty, and adaptation pressure. Across the literature, the term is used most prominently in cooperative multi-agent reinforcement learning, multi-robot control, and coordination under partial observability, but its operational meaning varies by domain: coordination may mean convergence to an optimal joint strategy in common-interest stochastic games, learning partially shared policies in decentralized actor-critic systems, inferring partner intent without explicit communication, assigning complementary roles in bimanual manipulation, coordinating with previously unseen teammates, or tuning the hyperparameters of distributed trajectory optimizers [1106.5258] [2110.05597] [2205.11163] [2309.01087] [2309.12633] [2409.12397] [2509.01630]. A recent extension also treats expert assistance as a coordination problem, introducing Learning to Yield and Request Control (YRC), where an agent must decide when to act autonomously and when to request help from an expert [2502.09583].

## 1. Historical emergence and problem scope

An early explicit formulation of L2C appears in the study of common-interest stochastic games (CISGs), where all agents receive an identical payoff and must learn to coordinate to maximize the common long-run reward [1106.5258]. In that setting, the central difficulty is not merely environmental uncertainty, but synchronized exploration and agreement on high-value joint actions under imperfect monitoring. The 2011 model-based line showed that coordination could be reduced to repeated execution of a deterministic single-agent learner such as R-MAX, yielding polynomial-time convergence guarantees rather than convergence only “in the limit” [1106.5258].

Subsequent work broadened L2C from common-interest games to more heterogeneous cooperative systems. In coordinated actor-critic (CAC), coordination is induced by a policy architecture with a shared part and a personalized part, allowing agents to learn common structure while preserving specialization [2110.05597]. LALA reframed coordination as a multilevel emergence problem, distinguishing micro, meso, and macro levels and placing a centralized advisor at the meso level to capture spatiotemporal decision structure [2205.11163]. This marked a shift from viewing coordination as a byproduct of shared reward or communication toward treating it as an intermediate structure to be modeled directly.

The scope later expanded along at least four additional axes. First, coordination with previously unseen teammates became a central problem in open multi-agent environments, motivating continual teammate generation and compatibility learning in Macop [2309.12633]. Second, coordination without direct communication was formalized under incomplete information, where one agent must infer another’s intent from action sequences rather than messages [2409.12397]. Third, coordination entered embodied robotics through bimanual manipulation, where role assignment between a stabilizing arm and an acting arm became the main organizational principle of BUDS [2309.01087]. Fourth, trajectory optimization work used L2C to denote distributed meta-learning of hyperparameters for ADMM-DDP, where the objective is not to learn control trajectories directly but to learn how local task performance and global coordination should be weighted across agents [2509.01630].

This breadth implies that L2C is not a single algorithmic family with a canonical objective. It is better understood as a research umbrella organized around the acquisition of joint structure under coupled decision-making.

## 2. Formal problem formulations

In CISGs, the environment is a stochastic game with finite state set $S=\{1,\dots,N\}$, common action set $A=\{a_1,\dots,a_k\}$ for each player, and transition function
$$
\mathrm{tr}(s,t,a,a').
$$
With the average reward criterion, $U(s,T,\pi,p)$ denotes the expected $T$-step undiscounted average reward, and
$$
U(s,T)=\max_{\pi,p}U(s,T,\pi,p),\qquad U(s)=\liminf_{T\to\infty} U(s,T).
$$
Under ergodicity, the optimal value is written as $v(M)$ and becomes independent of the initial state [1106.5258]. In this formulation, L2C means learning a joint policy that achieves the optimal common value efficiently.

In coordinated actor-critic, each agent’s policy parameters are decomposed as
$$
\theta_{i} := \{ \theta_{i}^{s}, \theta_{i}^{p} \},
$$
where $\theta_i^s$ is the shared part and $\theta_i^p$ is the personalized part [2110.05597]. Coordination is encoded directly in the actor rather than only in the critic. The stationarity notion used in the analysis jointly constrains consensus on shared parameters and optimality of both shared and personalized gradients:
$$
\| Q \cdot \theta^s \|^2  + N \cdot \| \overline{\nabla_{\theta^s} J(\theta)}   \|^2  + \sum_{i = 1}^{N}  \| \nabla_{\theta_i^p} J( \theta ) \|^2 \le \epsilon.
$$
This formulation makes coordination partly an optimization-consensus problem [2110.05597].

LALA defines coordination through multilevel emergence dynamics. At the meso level, an advisor operates on a spatiotemporal graph of agents’ decisions, with spatial neighbors $\mathcal{N}_s(v)$ capturing conflicts and temporal neighbors $\mathcal{N}_t(v)$ capturing continuity:
$$
\begin{aligned}
\bm{m}_s^k &= \text{AGG}_k^s (\{ {\bm{h}_w^{k-1}, \forall w \in \mathcal{N}_s(v)\}) \\
\bm{m}_t^k &= \text{AGG}_k^t (\{ {\bm{h}_u^{k-1}, \forall u \in \mathcal{N}_t(v)\}) \\
{\bm{h}_{\mathcal{N}_v}^{k} &= f^k ([\bm{m}_s^k, \bm{m}_t^k]) \\
{\bm{h}_{v}^k} &= \varphi (g ^k ([{\bm{h}_v^{k-1}, {\bm{h}_{\mathcal{N}_v}^k}])).
\end{aligned}
$$
Its advisor objective explicitly combines temporal continuity, spatial conflict reduction, and max-confidence consistency with confident agents [2205.11163].

In communication-free coordination under incomplete information, the helper policy is defined over the current state and the seeker’s last action sequence,
$$
\pi^H : S \times (A^S)^+ \to A^H,
$$
with objective
$$
\max_{\pi^H} \sum_{t=0}^T R(s_t, a_t).
$$
The seeker policy is
$$
\pi^S : S \times A^H \to (A^S)^+.
$$
Here the coordination problem is explicitly non-Markovian, because the helper must condition on a full action sequence emitted by the seeker in the previous turn [2409.12397].

In bimanual manipulation, coordination is formalized as a decomposition of the joint bimanual policy
$$
\langle a_t ^s, a_t^a \rangle \sim \pi (\cdot \mid o_t)
$$
into mutually dependent stabilizing and acting policies
$$
a_t ^s \sim \pi^s_{\theta^s} (\cdot \mid o_t, a_t^a), \qquad a_t^a \sim \pi^a_{\theta^a} (\cdot \mid o_t, a_t^s).
$$
The stabilizing objective is to minimize change in a task-relevant representation $\phi(o)$,
$$
\mathcal{L}(\theta^s) = \sum_{t=0}^k \mathbb{E}_{a^a_t \sim \pi^a_{\theta^a} ( \cdot \mid o_t, a_t^s)} \left\| \phi(o_t) - \phi(o_{t-1}) \right\|.
$$
A stabilization remains valid until
$$
k = \inf \{n : n \geq i \textrm{ and } \|\phi(o_{i+n}) - \phi(o_{i}) \| > \epsilon \}
$$
[2309.01087]. Coordination is therefore expressed as role assignment plus event-triggered recoordination.

A further formulation appears in YRC. The abstract defines a strategy that determines when to act autonomously and when to seek expert assistance, in a setting where the agent does not interact with experts during training but must adapt to novel environmental changes and expert interventions at test time [2502.09583]. The available figure suggests a novice policy $\pi_n$, state $s_t$, validation signal $\phi(\pi_n, s_t)$, novice action $a_t^n$, expert action $a_t^e$, and a coordination decision $x_t \in \{n,e\}$ indicating whether control remains with the novice or is yielded to the expert. This suggests a router-like controller, although the formal objective is not available in the provided material [2502.09583].

## 3. Algorithmic mechanisms

A first major algorithmic line is deterministic model-based reduction. In the CISG setting, R-MAX is used as a deterministic single-agent engine on the induced MDP. Unknown state-action pairs are assigned reward $R_{\max}$, the learner repeatedly computes the optimal $T$-step policy in the current optimistic model, and tie-breaking is fixed so that all agents execute the same joint action whenever their internal models coincide [1106.5258]. This determinism is not incidental; it is the mechanism that synchronizes exploration and exploitation without requiring stronger monitoring assumptions.

A second line is partial policy sharing in actor-critic. CAC preserves fully decentralized and federated deployment while allowing agents to coordinate through shared actor parameters. The framework uses linear function approximation,
$$
\widehat{V}(s;\omega) := \phi(s)^T \omega, \qquad \widehat{r}(s, a; \lambda) := \varphi(s,a)^T \lambda,
$$
and a TD-like signal
$$
\widehat{\delta}_{i,t} := \widehat{r}(s_t, a_t; \lambda_{i,t}) + \gamma\cdot \widehat{V}(s_{t+1}; \omega_{i,t}) - \widehat{V}(s_t ; \omega_{i,t}).
$$
Shared actor parameters are mixed via neighbor communication, for example
$$
\widetilde{\theta}_{t}^{s} := W_t \cdot \theta_{t}^{s},
$$
while personalized parameters are updated locally [2110.05597]. The paper proves that the algorithm requires $\mathcal{O}(\epsilon^{-5/2})$ samples to achieve an $\epsilon$-stationary solution and gives a double-sampling refinement removing the sampling mismatch term $\epsilon_{sp}$ [2110.05597].

A third line is hierarchical coordination via advising. LALA introduces a centralized advisor based on a spatiotemporal DualGCN and couples it to agents through policy generative adversarial learning. The discriminator loss is
$$
\begin{aligned}
\mathcal{L}_{Disc, i} = - \mathbb{E}_{\mathcal{B}_i^s} \Big[ &\log D^{\psi_i}\left(\mathcal{A}_i^G(\bm{\Omega}), \mathcal{B}_i^s\right) \\
&+ \log\left(1-D^{\psi_i}\left(\mathcal{A}_i^\pi(\theta_i), \mathcal{B}_i^s\right)\right) \Big],
\end{aligned}
$$
and the agent loss is
$$
\mathcal{L}_{Agent, i} = \mathcal{L}_i^{\theta_i}+\lambda \mathbb{E}_{\mathcal{B}_i^s} \log(1-D^{\psi_i}(\mathcal{A}_i^\pi(\theta_i), \mathcal{B}_i^s)).
$$
The discriminator also boosts the advisor through
$$
\begin{aligned}
\mathcal{L}_{Advisor, boost} = \mathcal{L}_{Advisor} - \mu \sum_{i=1}^N \mathbb{E}_{\mathcal{B}_i^v, \mathcal{B}_i^s} \left[\log D^{\psi_i}(\{\pi_v\}_{v\in \mathcal{B}_i^v}, \mathcal{B}_i^s)\right].
\end{aligned}
$$
This architecture treats coordination as advice generation at the meso level and advice assimilation at the micro level [2205.11163].

A fourth line learns coordination conventions from observed behavior alone. In the no-communication setting, one deterministic finite automaton (DFA) is learned per helper action,
$$
D^a = (2^{A^S}, Q^a, q_0^a, \delta^a, F^a),
$$
using Angluin’s $L^\*$, a Capping procedure that removes shortest-path behavior from the seeker’s trace, and a finite-state transducer with transition relation $\varrho$ and output function $\tau$ [2409.12397]. The resulting NCC algorithm counts how often trajectory segments are accepted by each DFA and selects the helper action with maximal frequency. The strategy is explicitly non-Markovian because it depends on the entire observed seeker sequence rather than only the current state [2409.12397].

A fifth line uses role assignment and event detection rather than symmetric control. BUDS learns three models: a stabilizing keypoint model $f^k_\theta$, an acting policy $\pi^a_\phi$, and a restabilizing classifier $f^r_\psi(o_t)\in\{0,1\}$ [2309.01087]. The stabilizer predicts a workspace keypoint via
$$
f^k_\theta : \mathbb{R}^{640 \times 480 \times 3} \rightarrow \mathbb{R}^{640 \times 480},
$$
and the acting arm follows
$$
\pi^a_\phi(a_t^a \mid o_t, a_t^s).
$$
The coordination loop alternates between keeping the current stabilizing point and recomputing it when $f^r_\psi$ signals that the old hold is no longer effective [2309.01087].

A sixth line treats coordination as differentiable distributed optimization. In distributed ADMM-DDP, each agent solves a local DDP subproblem inside an ADMM loop, while copy variables enforce consensus:
$$
\bm{x}_{i,k}=\tilde{\bm{x}_{i,k}},\qquad \bm{u}_{i,k}=\tilde{\bm{u}_{i,k}}.
$$
The augmented Lagrangian includes agent-specific penalties $\rho_i$, and DDP yields feedback gains
$$
\bm{K}_{i,k}^a = -\hat{Q}_{\bm{u}_i\bm{u}_i,k}^{a,-1}\hat{Q}_{\bm{x}_i\bm{u}_i,k}^{a,\top}, \qquad \bm{k}_{i,k}^a = -\hat{Q}_{\bm{u}_i\bm{u}_i,k}^{a,-1}\hat{Q}_{\bm{u}_i,k}^{a}.
$$
L2C meta-learns per-agent hyperparameters
$$
\bm{\theta}_i= [ \bm{\theta}_i^{\text{r}}, \bm{\theta}_i^{\text{w}}, \bm{\theta}_i^{\text{s}}, \bm{\theta}_i^{\text{c}}, \bm{\theta}_i^{\text{ic}}, \rho_i ]
$$
via lightweight agent-wise neural networks, differentiating end-to-end through the ADMM-DDP pipeline and reusing Riccati terms and feedback gains in the backward pass [2509.01630].

## 4. Coordination under adaptation, novelty, and partial observability

A central contemporary theme is that L2C must generalize beyond training-time partners and conditions. Macop addresses open multi-agent environments by defining a Continual Teammate Dec-POMDP in which controllable agents face a sequence of previously unseen teammate groups $\pi_{\text{tm}^k}$ and must retain coordination ability across stages [2309.12633]. Rather than sampling a fixed diversity set, Macop continually generates teammates that are deliberately incompatible with the current ego policy. The teammate objective
$$
\mathcal{L}_{\text{tm}}= \mathcal{L}_{\text{sp}} +\alpha_{\text{div}}\mathcal{L}_{\text{div}} +\alpha_{\text{incom}}\mathcal{L}_{\text{incom}}
$$
combines self-play quality, diversity, and incompatibility. A stopping criterion
$$
C= \frac{ \min_i \mathcal{J}(\langle \boldsymbol{\pi}_{\text{ego}}, \boldsymbol{\pi}_{\text{tm}^i}\rangle) }{ \frac{1}{n_p}\sum_{i=1}^{n_p}\mathcal{J}_{\text{sp}}(\boldsymbol{\pi}_{\text{tm}^i}) }
$$
terminates continual training when no meaningfully more challenging teammate population can be found [2309.12633]. This makes compatibility coverage, rather than static diversity, the organizing principle.

Partial observability motivates a different form of adaptation. In the no-communication game setting, the helper never observes the seeker’s private transition dynamics or goal; only the seeker knows the true goal location [2409.12397]. Coordination therefore depends on interpreting deviations from shortest-path motion as intent signals. This shifts L2C from explicit message exchange to learned conventions grounded in action traces. A plausible implication is that some coordination problems are better characterized as convention learning than as communication learning.

Embodied coordination introduces adaptation to task phase and scene change. In BUDS, a single stabilizing point is insufficient for tasks such as Jacket Zip or Cut Vegetable, so the system must repeatedly decide when the environment has changed enough to trigger restabilization [2309.01087]. The acting arm is trained from single-arm demonstrations, but its success depends on the stabilizer maintaining a task-relevant fixture. Coordination is therefore temporally segmented rather than simultaneous and symmetric.

Expert-assisted coordination adds a further adaptation dimension. YRC assumes that the agent does not interact with experts during training, yet must adapt to novel environmental changes and expert interventions at test time [2502.09583]. This formulation is notable because expert querying is explicitly described as costly. The coordination problem is not only behavioral compatibility but also selective escalation: when autonomous competence should yield to external control.

In distributed trajectory optimization, adaptation occurs through hyperparameter meta-learning rather than direct policy adaptation. L2C learns cost weights, constraint parameters, and ADMM penalties that vary with task conditions, such as load center-of-mass offset or team size [2509.01630]. This suggests a broader interpretation of L2C in control: coordination can be learned by shaping the optimizer that produces local decisions, not only by learning the decisions themselves.

## 5. Empirical regimes, benchmarks, and reported outcomes

The empirical literature on L2C is correspondingly heterogeneous. YRC-Bench is introduced as an open-source benchmark with diverse domains, a standardized Gym-like API, simulated experts, an evaluation pipeline, and competitive baselines [2502.09583]. Although the provided material does not include benchmark statistics, the benchmark’s role is to make expert-coordination research empirically comparable.

LALA reports improvements in learning efficiency and coordination capability, with evaluation in terms of average episode reward, cooperation success rate, and normalized navigation time [2205.11163]. It also analyzes coordination through mutual information, studying $MI(z;a)$ between an agent’s latent representation and other agents’ actions. The paper states that LALA increases this mutual information, linking meso-level coordination advice to improved micro-level teammate modeling [2205.11163].

CAC contributes a different empirical-theoretical profile. Its distinguishing result is a finite-time sample complexity bound rather than a benchmark headline: $\mathcal{O}(\epsilon^{-5/2})$ samples to reach an $\epsilon$-stationary solution, with actor and critic stationarity measures decaying at rate $\mathcal{O}(T^{-2/5})$ up to approximation and sampling mismatch terms [2110.05597]. This makes it one of the few L2C formulations centered on non-asymptotic analysis.

Communication-free coordination is evaluated in a modified Gnomes at Night testbed with $9\times 9$ and $12\times 12$ mazes, 10 maze layouts per size, 5 treasure positions per layout, and 100 trials per configuration [2409.12397]. Compared with No Coordination (NC), the proposed No-Communication Coordination (NCC) substantially improves success rate: NC achieves 28.62% and 17.70%, NCC achieves 90.16% and 90.54%, and Direct-Communication Coordination (DCC) achieves 94.08% and 98.02% on the two maze sizes [2409.12397]. NCC also reduces steps taken and lowers both the number of memorized walls and the wall error rate. The learned DFAs have Jaccard similarities of 0.8 for right, 0.58 for up, 0.67 for left, and 0.58 for down [2409.12397].

BUDS is evaluated on four real-world dual-arm tasks—Pepper Grinder, Jacket Zip, Marker Cap, and Cut Vegetable—using a dual-UR16e platform with Robotiq 2F-85 grippers, three Intel RealSense cameras, and RTDE-based impedance control at 10 Hz [2309.01087]. Given only 20 demonstrations, BUDS achieves 76.9% average success across the task suite and 52.7% success on out-of-distribution objects within a class [2309.01087]. It is reported as 56.0% more successful than a BC-Stabilizer baseline and far stronger than a monolithic 14-DoF policy, which achieves zero success [2309.01087].

Macop is evaluated on 8 scenarios from 4 environments: Level-based Foraging, Predator-Prey, Cooperative Navigation, and SMAC [2309.12633]. The reported result is that Macop achieves the best average coordination performance in all 8 scenarios and a 60.44% average improvement over the Finetune anchor [2309.12633]. It also records the best BWT in all evaluated environments, indicating minimal forgetting, while cross-play heatmaps and t-SNE of self-play trajectory embeddings are used to show that generated teammate populations are both well dispersed and low in compatibility [2309.12633].

Distributed meta-trajectory L2C is validated on cooperative aerial transport with cable-suspended rigid loads in high-fidelity simulation and IsaacSIM-based software-in-the-loop evaluation [2509.01630]. The method is reported to achieve up to 88% faster gradient computation than SPDP and ADDP while maintaining relative gradient errors below 10% [2509.01630]. It is also reported to generalize without additional tuning to unseen 3-quadrotor and 7-quadrotor teams, unseen load offsets, new obstacle placements, and new reference trajectories [2509.01630].

## 6. Interpretive issues, misconceptions, and acronym ambiguity

A recurring misconception is that L2C is simply another name for communication learning. The surveyed work does not support that reduction. Some formulations rely on no explicit communication at all and instead learn coordination through deterministic policies, shared actor structure, behavioral conventions, role timing, or optimizer-level hyperparameter adaptation [1106.5258] [2110.05597] [2309.01087] [2409.12397] [2509.01630]. Communication is therefore only one possible substrate for coordination, not its defining property.

Another misconception is that shared reward suffices to produce coordination automatically. The empirical and algorithmic designs argue otherwise. The CISG work emphasizes coordinated exploration under imperfect monitoring [1106.5258]. CAC adds shared policy parameters rather than only shared critics [2110.05597]. LALA introduces an explicit advisor to model spatial conflicts and temporal smoothness [2205.11163]. Macop shows that even broad teammate diversity is insufficient unless new teammates are actively evolved to be incompatible with the current ego policy [2309.12633]. These results suggest that coordination is usually an architectural or algorithmic object in its own right.

The literature also differs on what is being coordinated. In MARL, the objects are usually policies or action distributions; in bimanual robotics, they are roles and timing; in no-communication games, they are conventions between trajectories and latent intent; in trajectory optimization, they are hyperparameters that shape local and global trade-offs [2205.11163] [2309.01087] [2409.12397] [2509.01630]. A plausible implication is that “coordination” is best treated as a relational property of coupled decision variables rather than as a fixed task class.

Finally, the acronym itself is overloaded. “L2C” is also used for “Learning-to-Compare” in visual difference description, where the goal is to compare semantic representations of two images rather than to coordinate agents [2102.01860]. It is likewise used for “Learning to Condition” in scalable MPE inference, where a neural heuristic scores variable-value assignments for conditioning in probabilistic graphical models [2509.25217]. In the cooperative systems literature, however, L2C refers specifically to learning structured compatibility under joint decision-making.

Within that cooperative meaning, the field now spans optimal-value guarantees in ergodic stochastic games, decentralized finite-time actor-critic analysis, hierarchical advising, convention learning without direct communication, role-based robot coordination, continual compatibility learning with arbitrary teammates, and differentiable distributed optimization with learned coordination hyperparameters [1106.5258] [2110.05597] [2205.11163] [2309.01087] [2309.12633] [2409.12397] [2502.09583] [2509.01630]. The common thread is not a shared implementation recipe, but the explicit treatment of joint structure as something to be learned rather than assumed.

Source: https://www.emergentmind.com/topics/learning-to-coordinate-l2c