---
title: 'STAF: SubTeaming & Adaptive Formation'
url: https://www.emergentmind.com/topics/subteaming-and-adaptive-formation-staf
type: topic
---

# STAF: SubTeaming & Adaptive Formation

Searching arXiv for the specified STAF and related drone-formation papers.
SubTeaming and Adaptive Formation (STAF) denotes a coordinated multi-robot navigation capability in which a team of robots dynamically splits into smaller subteams, adaptively controls the subteams to navigate through narrow or complex environments while preserving formations, and then recovers the full-team formation after passage [2509.16412]. In the reported formulation, STAF is implemented as a unified hierarchical learning framework with three coupled levels: high-level deep graph cut for team splitting, intermediate-level graph learning for coordinated navigation among subteams, and low-level policy learning for individual robot control. A related line of work in drone swarms is closely aligned in spirit because it also treats internal organization as a decision variable adapted to environmental conditions, although it does not allow the swarm to split or merge during flight [2011.06766].

## 1. Problem setting and failure mode of rigid formation control

STAF addresses coordinated multi-robot navigation in which a team must move to goal positions while preserving a mission-specific formation such as **circle formation**, **wedge formation**, or **line formation** [2509.16412]. The team is modeled as an undirected graph
$$
G=\{V,E\},
$$
with node set
$$
V=\{v_1,v_2,\dots,v_n\},
$$
where each node is
$$
v_i=\{p_i,g_i,q_i\}.
$$
Here, $p_i=[p_i^x,p_i^y]$ is the robot position, $g_i=[g_i^x,g_i^y]$ is the goal position, and $q_i=[q_i^x,q_i^y]$ is the velocity in $x/y$. The edge set is represented by the adjacency matrix
$$
E=\{a_{i,j}\}^{n\times n},
$$
with $a_{i,j}=1$ if robots $i$ and $j$ are within a radius and $a_{i,j}=0$ otherwise. The per-robot state is
$$
s_i=[p_i,g_i,q_i,c_i],
$$
where $c_i$ is the distance to the closest obstacle, and the action is
$$
a_i=[v_i^x,v_i^y].
$$

The motivating constraint is that rigid formation preservation can become infeasible in narrow or complex environments such as corridors or bridges. The representative example is a team of ten robots in a circular formation encountering a corridor too narrow for the whole team to pass together. Under that condition, the team must be able to split into subteams, adapt the formation within each subteam, and regroup after passing.

The framework is positioned against prior methods that are described as too rigid for such settings, including leader-follower approaches, virtual structure methods, and rigid optimization-based formation control. Prior subteaming work is also characterized as focusing only on division or merging, rather than on how to control subteams during navigation or how to adapt formation shape during transit. The central significance of STAF lies in combining division, adaptive control, and recovery in a single navigation pipeline.

## 2. Hierarchical organization and graph-cut subteaming

STAF is a three-level hierarchical framework composed of high-level deep graph cut, intermediate-level graph learning, and low-level policy learning [2509.16412].

| Level | Mechanism | Function |
|---|---|---|
| High-level | deep graph cut | subteaming |
| Intermediate-level | graph learning | subteam coordination and adaptive formation |
| Low-level | policy learning | individual robot control |

At the high level, STAF first computes graph embeddings
$$
H=\{h_i\}=\omega(G),
$$
where $\omega$ is a graph attention network. The node projection is
$$
m_i=W^v p_i.
$$
Attention from node $j$ to node $i$ is defined as
$$
\alpha_{i,j}=
\frac{\exp\left(\text{ReLu}([W^a m_i||W^a m_j])\right)}
{\sum_{k\in N(i)}\exp\left(\text{ReLu}([W^a m_i||W^a m_k])\right)},
$$
where $\text{ReLu}$ is the rectified linear unit, $N(i)$ is the neighborhood of node $i$, $||$ denotes concatenation, and $W^a$ is a weight matrix. The final node embedding is
$$
h_i=W^h m_i+\sum_{j\in N(i)}\alpha_{i,j}W^h m_j.
$$
A multi-head mechanism is then used to obtain richer embeddings.

Using $H$, the framework formulates team division as a graph cut problem that partitions the team into $m$ subgraphs or subteams. The classifier network
$$
\tau(H)
$$
consists of two fully connected linear layers followed by SoftMax and outputs
$$
Y=\tau(H)=\{y_{i,j}\}^{n\times m},
$$
where $y_{i,j}$ is the probability that robot $i$ belongs to subteam $j$, with $m<n$.

The high-level objective is unsupervised and combines three terms: **subteam adjacency**, **subteam balance**, and **subteam-goal distance**. The adjacency term encourages robots in the same subteam to remain connected or adjacent; the balance term encourages equal or near-equal subteam sizes, with target size $\frac{n}{m}$; and the goal-distance term encourages each subteam’s center to align with its corresponding goal center. The text explicitly states that $Y(1-Y)^\top$ measures the probability that a pair of robots belong to different subteams, while $E$ encodes robot adjacency. The subteam center position of subteam $j$ is
$$
\frac{\sum_{i=1}^{n} y_{i,j} p_i}{\sum_{i=1}^{n} y_{i,j}},
$$
and the corresponding goal center is
$$
\frac{\sum_{i=1}^{n} y_{i,j} g_i}{\sum_{i=1}^{n} y_{i,j}}.
$$

Functionally, this component chooses which robots form each subteam before navigation through a bottleneck. A plausible implication is that STAF operationalizes team division as a structured graph partition rather than as a heuristic split based only on spatial proximity.

## 3. Adaptive formation control within subteams

The intermediate level coordinates robots within a team or subteam and enables formation adaptation [2509.16412]. Given the graph $G$ and robot state $s_i$, a network $\phi$ computes a team-state embedding
$$
f_i=\phi(s_i,G).
$$
The robot state is first projected as
$$
z_i=W^z s_i,
$$
and message passing then aggregates teammates’ state embeddings:
$$
f_i=W^f z_i+\sum_{j\in N(i)} W^f (z_j-z_i).
$$
This embedding captures the robot’s own state together with relative spatial relationships to teammates.

Rigid formation is replaced by an adaptive spring-damper formation model. For a robot pair $(i,j)$, the spring component is based on
$$
|d_{i,j}-p_{i,j}|,
$$
where $d_{i,j}$ is the expected distance in the original formation and
$$
p_{i,j}=\|p_i-p_j\|_2
$$
is the actual distance. The damper component uses the relative velocity term
$$
q_{i,j}=\|q_i-q_j\|_2.
$$
The combined formation adaptation reward is
$$
R^{adp}=\sum_{\mathbf{v}_i,\mathbf{v}_j\in\mathcal{V}} -\lambda |d_{i,j}-p_{i,j}|-(1-\lambda)q_{i,j},
$$
where $\lambda$ balances spring versus damper.

The stated role of this reward is threefold: it promotes keeping robots close enough to fit through narrow spaces, preserving enough spacing to avoid collisions, and suppressing oscillation and overshoot. This is the specific mechanism by which STAF replaces exact rigid shape preservation with adaptive formation control. The same formation type is preserved within each subteam, but the formation shape may adapt locally.

## 4. Low-level policy learning, execution flow, and recovery

At the low level, STAF outputs velocity commands for each robot [2509.16412]. Given the state $\mathbf{s}_i$ and the embedding $f_i$, the action is produced by
$$
a_i=\psi(f_i),
$$
where $\psi$ is a network of two linear layers followed by ReLU. This is part of a policy
$$
\pi_\theta(a_i|\mathbf{s}_i),
$$
parameterized by $\theta$ and trained with reinforcement learning.

The low-level reward encourages moving toward the goal, avoiding obstacles, and avoiding other robots. The description specifies a reward based on distance to goal and a penalty when too close to obstacles or other robots. Collision avoidance is therefore handled through reward penalties rather than through a separate explicit planner.

The overall pipeline consists of five steps. First, the input team graph is constructed, with nodes containing robot state attributes and edges encoding local adjacency. Second, the high-level subteaming stage applies GAT embedding $\omega(G)$ and classifier $\tau(H)$ to output $Y$, an assignment of robots to subteams. Third, for each team or subteam, $\phi(s_i,G)$ computes team-state embeddings $f_i$, while the spring-damper reward encourages adaptive formation. Fourth, $\psi(f_i)$ produces the action $a_i$, and the RL policy $\pi_\theta(a_i|\mathbf{s}_i)$ learns collision-free navigation. Fifth, after subteams traverse narrow regions, goals are updated and robots merge back into the full formation.

The execution structure is explicitly hierarchical in deployment as well as in learning: the high level is centralized, while the intermediate and low levels are decentralized. Training uses an alternating training algorithm that iteratively trains the high level and then jointly trains the intermediate-low levels. The paper identifies this alternating scheme itself as a limitation.

## 5. Experimental settings, metrics, and reported performance

STAF is evaluated in three settings: **Gazebo simulation in ROS1**, **Unity-based 3D simulator in ROS1**, and **physical robot teams running ROS2** [2509.16412]. The scenario types include indoor narrow spaces, outdoor unstructured terrain, narrow corridors and bridges, and different formation types: circle, wedge, and line. The platforms are simulated robots in Gazebo, differential-drive **Warthog** robots in Unity3D, and differential-drive **Limo** robots with caterpillar tracks, onboard Intel NCU i7, Wi-Fi communication, and ROS2 in the real world. Real experiments use SLAM for state estimation and mapping, and in Unity3D the linear velocity action is converted into wheel velocities for differential-drive robots.

The quantitative metrics are **Successful Rate (SR)**, **Travel Time (TT)**, and **Contextual Formation Integrity (CFI)**. SR is the proportion of robots in the full team that reach the goal without collisions. TT is the total time for the team to reach the goal. CFI measures real-time adherence to the target formation using a shape threshold $\sigma$, lies in $[0,1]$, and uses smaller $\sigma$ for stricter formation requirements.

The baselines are **Leader-Follower (LF)** and **Decentralized GNN (DGNN)**. LF uses one robot as leader while others follow and attempt to maintain formation; DGNN performs hierarchical learning for individual robot velocity control but does not consider team-level formations. In Gazebo, DGNN performs worst on formation integrity because it lacks formation control. LF performs better than DGNN but has only a **40% success rate** due to rigid formation constraints. **STAF-full** achieves **100% success rate** in all tested formations. The reported TT values for STAF-full are **102.10 sec** for Circle, **69.30 sec** for Wedge, and **111.50 sec** for Line.

At the subteam level in Gazebo, both subteams achieve **100% success rate** across circle, wedge, and line formations. Under $\sigma < 0.5$, the reported CFI values are: for **STAF-sub1**, Circle **81.56**, Wedge **77.22**, and Line **91.13**; for **STAF-sub2**, Circle **87.72**, Wedge **80.99**, and Line **91.78**. Qualitatively, LF gets stuck in the corridor, whereas STAF splits the team, one subteam moves first, then the second, and the subteams regroup after passing.

The ablation study shows that removing any of the three graph-cut terms hurts behavior. Using only the balance term yields equal split but is not enough for proper navigation alone. Using only adjacency assigns all robots to one subteam. Using only goal distance aligns subteams toward goals but ignores compactness and balance. More generally, removing the balance term leads to unbalanced division, removing the adjacency term leads to non-compact subteams, and omitting goal distance leads to inefficient navigation.

Generalization is reported for different team sizes of **4, 6, 7, 8 robots** and different numbers of subteams of **2, 3, 4**. The paper reports about **87% formation integrity** for 4 robots under $\sigma < 0.03$, and at least **80%** for 8 robots. In Unity3D and on physical robots, STAF successfully handles long outdoor paths, curved trajectories, differential-drive dynamics, and a 9-robot line formation splitting into 3 subteams when needed. Real-world demonstrations further show that **6–8 robots** can split and adapt formation in indoor narrow spaces, and that outdoor snowy or uneven terrain is handled despite wheel slippage and action uncertainty.

## 6. Relation to formation-guided swarm adaptation and scope of the concept

A closely related but narrower formulation appears in "Formation-based Selection of Drone Swarm Services" [2011.06766]. That work considers swarm delivery in a skyway network, models each swarm trip over one skyway segment as a Swarm-based Drone-as-a-Service,
$$
\langle SDaaS\_id, S, F \rangle,
$$
and asks which swarm service segments should be selected and which flight formation should be used so that delivery is feasible and energy-efficient. The swarm remains intact throughout the journey: drones stay together, and they do not split or merge mid-flight.

The central decision variable is formation. Five formation types are considered: **Column**, **Front**, **Echelon**, **Vee**, and **Diamond**. Two decision modes are defined. In the **Fixed** approach, one formation is chosen before the mission begins using average wind conditions over the whole service set. In the **Adaptive** approach, the best formation is reselected at every skyway segment based on the segment’s wind speed and wind direction. The energy model uses
$$
P=F_D \cdot v
$$
for power and
$$
E_c=E_{fr}+E_{drag}+E_{upwash/downwash}
$$
for segment energy consumption, with feasibility expressed as
$$
\forall E_c < 100.
$$
Wind speeds are considered in Beaufort numbers 0 through 6, and wind direction is simplified to **Front**, **Right**, and **Left**.

The reported results show that formation choice depends on the aerodynamic model and the wind. Under drag only at Beaufort 5, **Column** gives the lowest average drag for front wind, whereas **Front** gives the lowest average drag for right or left wind. When upwash and downwash are included, the best energy-saving formations change: **Vee** performs best under front wind, and **Diamond** performs best under right and left wind. The reported best average energy consumption values are **1337.69 W** for Vee under front wind, **1365.35 W** for Diamond under right wind, and **1354.63 W** for Diamond under left wind. Across both distance-based and wind-based evaluations, the **Adaptive** selection algorithm consistently outperforms the **Fixed** algorithm in energy consumption, though Adaptive takes longer to execute as network size increases.

This relation is important for delimiting the scope of STAF. Both frameworks treat group structure as a decision variable and both adapt configuration to environment conditions. However, the drone-delivery framework does not model arbitrary subteam membership changes, does not split or merge the swarm, and optimizes primarily for energy consumption under battery constraints. STAF, by contrast, explicitly introduces subteaming, adaptive formation control within each subteam, and team recovery after passing through constrained regions [2509.16412]. This suggests that the 2020 drone work is best understood as a formation-adaptive precursor in spirit, whereas the 2025 STAF framework is a fuller treatment of split, coordinated transit, and regrouping.

## 7. Limitations, boundaries, and research directions

The reported STAF formulation is explicit about its limitations [2509.16412]. First, high-level division is centralized; future work is suggested in the direction of decentralized team division via gossip or max-consensus. Second, alternating training is described as suboptimal; future work is proposed for end-to-end training with error propagation from low to intermediate and high levels. Third, the number of subteams $m$ is manually set as a hyperparameter; future work is suggested to dynamically determine the minimum number of subteams based on corridor width, inferred from maps or real-time sensing.

These constraints also define what STAF is not. It is not an unconstrained coalition-formation framework with arbitrary dynamic membership changes, because the number of subteams is manually chosen and the same formation type is preserved within each subteam. It is not purely a rigid formation controller, because formation shape adapts locally through the spring-damper reward. It is also not merely a split-and-merge heuristic, because the framework couples graph-cut subteaming, graph-based subteam coordination, and RL-based robot control in a unified hierarchy.

Taken together, the available evidence identifies STAF as a specific hierarchical approach to coordinated multi-robot navigation in which graph partitioning, adaptive intra-subteam formation control, and robot-level policy learning are integrated to handle bottlenecks that defeat rigid formation control. The empirical record reported for simulation and physical robots indicates that its distinctive contribution is the combined capability for subteaming, adaptive formation control, and team recovery under challenging navigation constraints [2509.16412].

Source: https://www.emergentmind.com/topics/subteaming-and-adaptive-formation-staf