Model checking emerging behavior properties of robot swarms
autor
Juurik, Silver
Vain, Jüri
vastutusandmed
S.Juurik, J.Vain
allikas
21st Nordic Workshop on Programming Theory : NWPT 2009 : Lyngby, Denmark, 14-16 October 2009 : proceedings
ilmumiskoht
Lyngby
kirjastus/väljaandja
Technical University of Denmark
ilmumisaasta
2009
leheküljed
p. 68-70
leitav
https://www.researchgate.net/publication/228525009_Model_checking_of_emergent_behaviour_properties_of_robot_swarms
märksõna
robotid
robotiparved
algoritmid
modelleerimine (teadus)
kontroll
ISBN
978-87-643-0565-4
keel
inglise