首页 /研究 /Towards temporal verification of swarm robotic systems
SWARM

Towards temporal verification of swarm robotic systems

Clare Dixon, Alan Winfield, Michael Fisher, Chengxiu Zeng

发表年份
2012
引用次数
59

关键词

Swarm behaviourComputer scienceRobotSwarm roboticsTask (project management)Artificial intelligenceSimplicity

相关论文

查看 SWARM 分类全部论文