Formal Methods

Assuring safety of vision-based swarm formation control