1: \begin{abstract}

2:   We present a decentralized algorithm to achieve segregation into an arbitrary

3:   number of groups with swarms of autonomous robots. The distinguishing feature

4:   of our approach is in the minimalistic assumptions on which it is

5:   based. Specifically, we assume that (i) Each robot is equipped with a ternary

6:   sensor capable of detecting the presence of a single nearby robot, and, if

7:   that robot is present, whether or not it belongs to the same group as the

8:   sensing robot; (ii) The robots move according to a differential drive model;

9:   and (iii) The structure of the control system is purely reactive, and it maps

10:   directly the sensor readings to the wheel speeds with a simple `if' statement.

11:   We present a thorough analysis of the parameter space

12:   that enables this behavior to emerge, along with conditions for guaranteed

13:   convergence and a study of non-ideal aspects in the robot design.

14: \end{abstract}

15: