Parameterized Verification of Algorithms for Oblivious Robots on a Ring

Arnaud Sangnier, Nathalie Sznajder, Maria Potop-Butucaru +1

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 mode…