# idea174-catopt-swarm

Safe, verifiable distributed optimization for robotic swarms