首页 /研究 /On the Formal Specification of Emergent Behaviours of Swarm Robotics Systems
SWARM

On the Formal Specification of Emergent Behaviours of Swarm Robotics Systems

Alan Winfield, Jin Sa, Carmen Fernández-Gago, Clare Dixon, Michale Fisher

发表年份
2005
引用次数
12

关键词

Computer scienceSwarm roboticsArtificial intelligenceRoboticsSwarm behaviourFormal methodsFormal descriptionHuman–computer interactionSoftware engineeringRobot

相关论文

查看 SWARM 分类全部论文