Verifying Emergent Properties of Swarms.

Panagiotis Kouvaros Alessio Lomuscio

Published in: IJCAI (2015)

Keyphrases

desirable properties
database
cooperative
swarm intelligence
neural network
metadata
image processing
multiscale
mobile robot
particle swarm optimization
dynamic environments
model checking
collective behavior