![23042021 1619168377](/_resized/domains/bright-society.com/public_html/upload/thesis-cover/1846/Thesis-Mario-Coppola_cb43181632784f943c1fe10078251726.jpg)
The paradigm of swarm robotics aims to enable several independent robots to collaborate together toward collective goals. The distributed nature of a swarm, whereby each robot acts independently in accordance with its perceived environment, is expected to provide the system with a high degree of flexibility, robustness, and scalability. However, this comes at the cost of increased system complexity. This thesis explores how to automatically design a collective behavior in a way that is transparent and verifiable.
Download Thesis