Formal methods for the design and analysis of robot swarms

Formal methods for the design and analysis of robot swarms

In my doctoral dissertation, I tackled two of the main open problems in swarm robotics: design and verification. I did so by using model checking.<p>Designing and developing individual-level behaviors to obtain a desired swarm-level goal is, in general, very difficult, as it is difficult to pr...

Full description

Bibliographic Details
Main Author: Brambilla, Manuele
Other Authors: Dorigo, Marco
Format: Doctoral Thesis
Language:en
Published: Universite Libre de Bruxelles 2014
Subjects:
Informatique générale
Artificial intelligence
Swarm intelligence
Robotics
Intelligence artificielle
Intelligence collective
Robotique
robotics
swarm robotics
artificial intelligence
formal methods
Online Access:http://hdl.handle.net/2013/ULB-DIPOT:oai:dipot.ulb.ac.be:2013/209277

Internet

http://hdl.handle.net/2013/ULB-DIPOT:oai:dipot.ulb.ac.be:2013/209277

Similar Items