Thanh Binh Do, François Guerin: Autonomous Terrain Leveling Using a multi robots System: A formal framework for architecture and motion planning. CoDIT 2025: 1-6