Model checking of emergent behaviour properties of robot swarms

statement of authorship
Silver Juurik, Jüri Vain
journal volume number month
Vol. 60
year of publication
pages
1, p. 48-54 : ill
ISSN
1736-6046
notes
Bibliogr.: 19 ref
Kokkuvõte eesti keeles
review
Kokkuvõte: Robotiparvede ilmneva käitumise mudelkontroll
language
inglise
Juurik, S., Vain, J. Model checking of emergent behaviour properties of robot swarms // Proceedings of the Estonian Academy of Sciences (2011) Vol. 60, 1, p. 48-54 : ill. https://www.researchgate.net/publication/228525009_Model_checking_of_emergent_behaviour_properties_of_robot_swarms