首页 /研究 /Analysing robot swarm behaviour via probabilistic model checking
SWARM

Analysing robot swarm behaviour via probabilistic model checking

Savas Konur, Clare Dixon, Michael Fisher

发表年份
2011
引用次数
95

关键词

Swarm behaviourRobotComputer scienceSwarm roboticsProbabilistic logicSoftware deploymentArtificial intelligenceDistributed computingSoftware engineering

相关论文

查看 SWARM 分类全部论文