首页 /研究 /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

发表年份
2011
引用次数
24

关键词

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

相关论文

查看 SWARM 分类全部论文