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

Qin Li, Jinxun Wang, Qiwen Xu, Yanhong Huang, Huibiao Zhu

Browse the full ICECCS paper archive.