<--- Back to Details
First PageDocument Content
Ant colony optimization algorithms / Swarm intelligence / S-bot mobile robot / Francesco Mondada / Swarm behaviour / Swarm robotics / Robot / Particle swarm optimization / Swarm / Robotics / Multi-agent systems / Marco Dorigo
Date: 2013-02-19 08:52:24
Ant colony optimization algorithms
Swarm intelligence
S-bot mobile robot
Francesco Mondada
Swarm behaviour
Swarm robotics
Robot
Particle swarm optimization
Swarm
Robotics
Multi-agent systems
Marco Dorigo

Mathware & Soft Computing Magazine. Vol. 19 nREPORT

Add to Reading List

Source URL: code.ulb.ac.be

Download Document from Source Website

File Size: 476,86 KB

Share Document on Facebook

Similar Documents

Theoretical computer science / Information retrieval / Information science / Model checkers / Hashing / Model checking / Ith / SPIN model checker / Bitstate hashing / Cryptographic hash function / Correctness / Applied mathematics

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, # 1 Swarm Verification Techniques Gerard J. Holzmann, Rajeev Joshi, and Alex Groce

DocID: 1xVM2 - View Document

Model checkers / Theoretical computer science / Formal methods / Software engineering / Logic in computer science / Model checking / Search algorithms / Formal verification / SPIN model checker / Verification / Swarm behaviour / Promela

Swarm Verification 1 Gerard J. Holzmann, Rajeev Joshi, Alex Groce Jet Propulsion Laboratory, California Institute of Technology Abstract

DocID: 1xUKZ - View Document

Lipari School on Computational Complex and Social Systems: From swarm intelligence to digital democracy: new tools for a complex society JulyLipari Island, Italy SCHOOL SCHEDULE

DocID: 1xU2g - View Document

Aquatic ecology / Behavior / Crowds / Fisheries / Swarm behaviour / Zoology / Swarm robotics / Robot / Model checking / Swarm / Metaphysics / Action philosophy)

Introduction Verifying a Robot Swarm Algorithm Dealing with Uncertainty

DocID: 1xTg0 - View Document

Nr.: FINEvaluation Platform for Micro Aerial Indoor Swarm Robotics Christoph Steup, Sanaz Mostaghim, Sebastian Mai Intelligente Systeme

DocID: 1vrme - View Document