Swarm intelligence principles have been widely studied and applied to a number of different
tasks where a group of autonomous robots is used to solve a problem with a distributed …

Optimization-based design is an effective and promising approach to realizing collective
behaviours for robot swarms. Unfortunately, the domain literature often remains vague about …

My major motivation to think about swarm robotics is the question of how probabilistic local
actions of small robots sum up to rational global patterns shown by the swarm. For the …

Swarm robotics is a promising approach for the coordination of large numbers of robots.
While previous studies have shown that evolutionary robotics techniques can be applied to …

Currently, the control software of swarm robotics systems is created by ad hoc development.
This makes it hard to deploy these systems in real-world scenarios. In particular, it is difficult …

We present two empirical studies on the design of control software for robot swarms. In
Study A, Vanilla and EvoStick, two previously published automatic design methods, are …

In this article, we present property-driven design, a novel top-down design method for robot
swarms based on prescriptive modeling and model checking. Traditionally, robot swarms …

Research in swarm robotics has shown that automatic design is an effective approach to
realize robot swarms. In automatic design methods, the collective behavior of a swarm is …

Although swarm robotics is widely recognized as a promising approach to coordinating
large groups of robots, a general methodology for designing collective behaviors for robot …

We present Mate, an automatic off-line design method specialized in the design of spatially-
organizing behaviors for robot swarms. Mate belongs to the family of modular methods …