A Formal Framework for Reasoning Emergent Behaviors in Swarm Robotic Systems.

Qin Li Jinxun Wang Qiwen Xu Yanhong Huang Huibiao Zhu

Published in: ICECCS (2015)

Keyphrases

robotic systems
collective behavior
meta level
control architecture
learning algorithm
knowledge base
swarm intelligence
formal model
reasoning process