This book provides an introduction to Swarm Robotics, which is the application of methods from swarm intelligence to robotics. It goes on to present methods tha

This book constitutes the proceedings of the 9th International Conference on Swarm Intelligence, held in Brussels, Belgium, in September 2014. This volume conta

Studies on robotics applications have grown substantially in recent years, with swarm robotics being a relatively new area of research. Inspired by studies in s

The 3rd Workshop on Formal Approaches to Agent-Based Systems (FAABS-III) was held at the Greenbelt Marriott Hotel (near NASA Goddard Space Flight Center) in Apr

This book constitutes the refereed proceedings of the 13th International Conference on Integrated Formal Methods, IFM 2017, held in Turin, Italy, in September 2