Model checking of emergent behaviour properties of robot swarms
Juurik, Silver
;
Vain, Jüri
Proceedings of the Estonian Academy of Sciences
2011
/
1, p. 48-54 : ill
https://www.researchgate.net/publication/228525009_Model_checking_of_emergent_behaviour_properties_of_robot_swarms