Model checking emerging behavior properties of robot swarms
author
Juurik, Silver
Vain, Jüri
statement of authorship
S.Juurik, J.Vain
source
21st Nordic Workshop on Programming Theory : NWPT 2009 : Lyngby, Denmark, 14-16 October 2009 : proceedings
location of publication
Lyngby
publisher
Technical University of Denmark
year of publication
2009
pages
p. 68-70
url
https://www.researchgate.net/publication/228525009_Model_checking_of_emergent_behaviour_properties_of_robot_swarms
subject term
robotid
robotiparved
algoritmid
modelleerimine (teadus)
kontroll
ISBN
978-87-643-0565-4
language
inglise