print

Model checking of emergent behaviour properties of robot swarms

author
Juurik, Silver
Vain, Jüri
statement of authorship
Silver Juurik, Jüri Vain
source
Proceedings of the Estonian Academy of Sciences
journal volume number month
Vol. 60
year of publication
2011
pages
1, p. 48-54 : ill
url
https://www.researchgate.net/publication/228525009_Model_checking_of_emergent_behaviour_properties_of_robot_swarms
subject term
robotid
multiagentsüsteemid
algoritmid
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