We perform a systematic literature review on testing, validation, and verification of robotic
and autonomous systems (RAS). The scope of this review covers peer-reviewed research …

This paper describes a new method for estimating optical flow that strikes a balance
between the flexibility of local dense computations and the robustness and accuracy of …

Parameterized model checking is the problem of deciding if a given formula holds
irrespective of the number of participating processes. A standard approach for solving the …

This paper establishes a framework based on logic and automata theory in which to model
and automatically verify systems of multiple mobile agents moving in environments with …

In this paper we study the computational power of mobile robots without global coordination.
A comprehensive evaluation of the computational power of robots moving within the …

We introduce an automata-theoretic method for the verification of distributed algorithms
running on ring networks. In a distributed algorithm, an arbitrary number of processes …

We present a framework for modeling and analysing multiple mobile agents on grid-
environments such as finite mazes and labyrinths. Agents are modeled as automata, and the …

In mobile robotic swarms, the gathering problem consists in coordinating all the robots so
that in finite time they occupy the same location, not known beforehand. Multiplicity detection …

The paper details the first successful attempt at using model checking techniques to verify
the correctness of distributed algorithms for robots evolving in a continuous environment …

We study verification problems for autonomous swarms of mobile robots that self-organize
and cooperate to solve global objectives. In particular, we focus in this paper on the model …