Here are links to articles about projects I was involved with:

Automatic Programming makes Swarm Robots safer and more reliable

The University of Sheffield