Home /Research /Analysing robot swarm behaviour via probabilistic model checking
SWARM

Analysing robot swarm behaviour via probabilistic model checking

Savas Konur, Clare Dixon, Michael Fisher

Year
2011
Citations
95

Keywords

Swarm behaviourRobotComputer scienceSwarm roboticsProbabilistic logicSoftware deploymentArtificial intelligenceDistributed computingSoftware engineering

Related papers

Browse all SWARM papers