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 …

The ever-increasing deployment of autonomous Cyber-Physical Systems (CPSs)(eg,
autonomous cars, UAV) exacerbates the need for efficient formal verification methods. In this …

We present the use of a novel spatio-temporal model checker to detect problems in the data
and operation of a collective adaptive system. Data correctness is important to ensure …

Recent research on spatial and spatio-temporal model checking provides novel image
analysis methodologies, rooted in logical methods for topological spaces. Medical imaging …

Prominent examples of collective systems are often encountered when analysing smart
cities and smart transportation systems. We propose a novel modelling and analysis …

In this paper we explore the combination of novel spatio-temporal model-checking
techniques, and of a recently developed model-based approach to the study of bike sharing …

We present an extension of the linear time, time-bounded, Signal Temporal Logic to
describe spatio-temporal properties. We consider a discrete location/patch-based …

Software development for robotics applications is still a major challenge that becomes even
more complex when considering multi-robot systems (MRSs). Such distributed software has …

Software development for robotics applications is still a major challenge that becomes even
more complex when considering a Multi-Robot System (MRS). Such a distributed software …

Spatial aspects of computation are increasingly relevant in Computer Science, especially in
the field of collective adaptive systems and when dealing with systems distributed in …