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