Towards temporal verification of swarm robotic systems
(2012)
Journal Article
A robot swarm is a collection of simple robots designed to work together to carry out some task. Such swarms rely on the simplicity of the individual robots; the fault tolerance inherent in having a large population of identical robots; and the self-... Read More about Towards temporal verification of swarm robotic systems.