Home /Research /Towards Temporal Verification of Emergent Behaviours in Swarm Robotic Systems
SWARM

Towards Temporal Verification of Emergent Behaviours in Swarm Robotic Systems

Clare Dixon, Alan Winfield, Michael Fisher

Year
2011
Citations
24

Keywords

Swarm behaviourComputer scienceRobotSwarm roboticsArtificial intelligenceTask (project management)SimplicityFault toleranceDistributed computingEngineering

Related papers

Browse all SWARM papers