首页 /研究 /Formal Verification of Probabilistic Swarm Behaviours
SWARM

Formal Verification of Probabilistic Swarm Behaviours

Savas Konur, Clare Dixon, Michael Fisher

发表年份
2010
引用次数
27

关键词

Swarm behaviourComputer scienceSwarm roboticsRobotProbabilistic logicArtificial intelligenceTask (project management)Simple (philosophy)Machine learningSystems engineering

相关论文

查看 SWARM 分类全部论文