I. Introduction
A common approach for large object transportation in robotics is to use multiple robots to collaboratively push, cage, or grasp the objects [1]. This paper addresses cooperative transportation problems where multiple formations carry objects on top of them (see Fig. 1), which we refer to as multi-formation planning and coordination (MFPC). Here, the formations are rigid, i.e. the formation remains unchanged during transportation, which is necessary to balance heavy loads. To solve MFPC, we must generate and maintain effective formations until a goal location is reached while avoiding collisions with other formations and obstacles.