TY  - RPRT
TI  - A Formal Modular Synthesis Approach for the Coordination of 3-D Robotic Construction with Multi-robots
AU  - Marcelo Rosa
AU  - José E. R. Cury
AU  - Fabio L. Baldissera
PY  - 2025
UR  - https://arxiv.org/abs/2512.16555
ID  - 2512.16555
ER  -