Skip to main content

Research Repository

Advanced Search

Towards temporal verification of swarm robotic systems (2012)
Journal Article
Dixon, C., Winfield, A. F., Fisher, M., & Zeng, C. (2012). Towards temporal verification of swarm robotic systems. Robotics and Autonomous Systems, 60(11), 1429-1441. https://doi.org/10.1016/j.robot.2012.03.003

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.