Model checking of emergent behaviour properties of robot swarms

vastutusandmed
Silver Juurik, Jüri Vain
ajakirja aastakäik number kuu
Vol. 60
ilmumisaasta
leheküljed
1, p. 48-54 : ill
ISSN
1736-6046
märkused
Bibliogr.: 19 ref
Kokkuvõte eesti keeles
retsensioon
Kokkuvõte: Robotiparvede ilmneva käitumise mudelkontroll
keel
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