Autonomous robotic systems are complex, hybrid, and often safety critical; this makes their
formal specification and verification uniquely challenging. Though commonly used, testing …

Swarm robotics is an approach to collective robotics that takes inspiration from the self-
organized behaviors of social animals. Through simple rules and local interactions, swarm …

We introduce AutoMoDe: a novel approach to the automatic design of control software for
robot swarms. The core idea in AutoMoDe recalls the approach commonly adopted in …

Swarm robotics is the study of how to design groups of robots that operate without relying on
any external infrastructure or on any form of centralized control. In a robot swarm, the …

Cooperative control consensus is one of the most actively studied topics within the realm of
multi-agent systems. It generally aims to drive multi-agent systems to achieve a common …

Abstract Design automation is a core technology in industrial design software and an
important branch of knowledge-worker automation. For example, electronic design …

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 …

Over the last decade, the use of robots in production and daily life has increased. With
increasingly complex tasks and interaction in different environments including humans …

This research applies a mission engineering approach with model‐based systems
engineering foundations to formalize a swarm unmanned system design methodology and …

Evolutionary robotics can be a powerful tool in studies on the evolutionary origins of self-
organising behaviours in biological systems. However, these studies are viable only when …