Online Modifications of High-Level Swarm Behaviors
Recent work has demonstrated how one can write high-level specifications for swarm behaviors and automatically create controllers for the individual robots to achieve the overall swarm task. In this paper, we address the question of how to modify, during execution, the desired behavior while maintai