André B. Leal

Learn More
Currently, the control software of swarm robotics systems is created by ad hoc development. This makes it hard to deploy these systems in real-world scenarios. In particular, it is difficult to maintain, analyse, or verify the systems. Formal methods can contribute to overcome these problems. However, they usually do not guarantee that the implementation(More)
At present, most of the source code controlling swarm robotic systems is developed in an ad-hoc manner. This can make it difficult to maintain these systems and to guarantee that they will accomplish the desired behaviour. Formal approaches can help to solve these issues. However, they do not usually guarantee that the final source code will match the(More)
  • 1