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.