The Problem of Robot Swarms Control with only Global Signals.

Problems of swarm robotics are extensively studied in contemporary robotics. In this paper, we consider the problem of robot swarms control with only global signals. We propose an efficient approach to solve the problem. In particular, we consider an explicit reduction from the decision version of the problem to the satisfiability problem. For different satisfiability algorithms, we present the results of computational experiments. [ABSTRACT FROM AUTHOR]