Modelling flocks of birds and colonies of ants from the bottom up

Verification of Distributed Systems via Sequential Emulation

(2022) Luca Di Stefano et al.   ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY

Multi-agent systems with virtual stigmergy

(2019) Rocco De Nicola et al.   SCIENCE OF COMPUTER PROGRAMMING

MCMAS: an open-source model checker for the verification of multi-agent systems

(2015) Alessio Lomuscio et al.   International Journal on Software Tools for Technology Transfer

Simulated Predator Attacks on Flocks: A Comparison of Tactics

(2014) Jure Demšar et al.   ARTIFICIAL LIFE

Swarm robotics: a review from the swarm engineering perspective

(2013) Manuele Brambilla et al.   Swarm Intelligence

Statistical mechanics for natural flocks of birds

(2012) W. Bialek et al.   PROCEEDINGS OF THE NATIONAL ACADEMY OF SCIENCES OF THE UNITED STATES OF AMERICA

ARGoS: a modular, parallel, multi-engine simulator for multi-robot systems

(2012) Carlo Pinciroli et al.   Swarm Intelligence

Individual Based Model with Competition in Spatial Ecology

(2009) Dmitri Finkelshtein et al.   SIAM JOURNAL ON MATHEMATICAL ANALYSIS

Flocking of multi-agent systems with a dynamic virtual leader

(2008) Hong Shi et al.   INTERNATIONAL JOURNAL OF CONTROL

A brief account of runtime verification

(2008) Martin Leucker et al.   JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING

Interaction ruling animal collective behavior depends on topological rather than metric distance: Evidence from a field study

(2008) M. Ballerini et al.   PROCEEDINGS OF THE NATIONAL ACADEMY OF SCIENCES OF THE UNITED STATES OF AMERICA

Modelling a wireless connected swarm of mobile robots

(2008) Alan F. T. Winfield et al.   Swarm Intelligence