Model checking of emergent behaviour properties of robot swarms
autor
Juurik, Silver
Vain, Jüri
vastutusandmed
Silver Juurik, Jüri Vain
allikas
Proceedings of the Estonian Academy of Sciences
ajakirja aastakäik number kuu
Vol. 60
ilmumisaasta
2011
leheküljed
1, p. 48-54 : ill
leitav
https://www.researchgate.net/publication/228525009_Model_checking_of_emergent_behaviour_properties_of_robot_swarms
märksõna
robotid
multiagentsüsteemid
algoritmid
ISSN
1736-6046
märkused
Bibliogr.: 19 ref
Kokkuvõte eesti keeles
retsensioon
Kokkuvõte: Robotiparvede ilmneva käitumise mudelkontroll
keel
inglise