Model checking emerging behavior properties of robot swarmsJuurik, Silver; Vain, Jüri21st Nordic Workshop on Programming Theory : NWPT 2009 : Lyngby, Denmark, 14-16 October 2009 : proceedings2009 / p. 68-70 https://www.researchgate.net/publication/228525009_Model_checking_of_emergent_behaviour_properties_of_robot_swarms

Model checking of emergent behaviour properties of robot swarmsJuurik, Silver; Vain, JüriProceedings of the Estonian Academy of Sciences2011 / 1, p. 48-54 : ill https://www.researchgate.net/publication/228525009_Model_checking_of_emergent_behaviour_properties_of_robot_swarms

Towards scalable proofs of robot swarm dependabilityVain, Jüri; Tammet, Tanel; Kuusik, Alar; Juurik, SilverBEC 2008 : 2008 International Biennial Baltic Electronics Conference : proceedings of the 11th Biennial Baltic Electronics Conference : Tallinn University of Technology : October 6-8, 2008, Tallinn, Estonia2008 / p. 199-202 : ill