We present two empirical studies on the design of control software for robot swarms. In
Study A, Vanilla and EvoStick, two previously published automatic design methods, are …

Controllers for autonomous robotic systems can be specified using state machines.
However, these are typically developed in an ad hoc manner without formal semantics …

Command and control systems designed for a single operator to operate a single robot do
not scale to control of swarms. Interfaces that require the user to attend to each robot …

This thesis proposes a novel technology in the field of swarm robotics that allows a swarm of
robots to sense a virtual environment through virtual sensors. Virtual sensing is a desirable …