Model checking of emergent behaviour properties of robot swarms

Juurik, Silver; Vain, Jüri (2011). Model checking of emergent behaviour properties of robot swarms. Proceedings of the Estonian Academy of Sciences, 60 (1), 48−54.10.3176/proc.2011.1.05.
ajakirjaartikkel
Juurik, Silver; Vain, Jüri
  • Inglise
Proceedings of the Estonian Academy of Sciences
1736-7530
60
1
2011
4854
Ilmunud
1.1. Teadusartiklid, mis on kajastatud Web of Science andmebaasides Science Citation Index Expanded, Social Sciences Citation Index, Arts & Humanities Citation Index ja/või andmebaasis Scopus (v.a. kogumikud)
WOS

Viited terviktekstile

dx.doi.org/10.3176/proc.2011.1.05

Lisainfo

model checking, emerging behaviour properties, robot swarm, distributed coordination algorithm
Science Citation Index Expanded (SCI-EXPANDED); Scopus