On the robustness of consensus-based behaviors for robot swarms
- 29 May 2020
- journal article
- research article
- Published by Springer Science and Business Media LLC in Swarm Intelligence
- Vol. 14 (3), 205-231
- https://doi.org/10.1007/s11721-020-00183-1
Abstract
No abstract availableKeywords
Funding Information
- NSERC Strategic Partnership (Grant 479149-2015)
This publication has 47 references indexed in Scilit:
- Swarm robotics: a review from the swarm engineering perspectiveSwarm Intelligence, 2013
- Towards temporal verification of swarm robotic systemsRobotics and Autonomous Systems, 2012
- Analysing robot swarm behaviour via probabilistic model checkingRobotics and Autonomous Systems, 2012
- Bounded model checking of software using SMT solvers instead of SAT solversInternational Journal on Software Tools for Technology Transfer, 2008
- On Formal Specification of Emergent Behaviours in Swarm Robotic SystemsInternational Journal of Advanced Robotic Systems, 2005
- Priced Timed Automata: Algorithms and ApplicationsLecture Notes in Computer Science, 2005
- KLAIM: a kernel language for agents interaction and mobilityIEEE Transactions on Software Engineering, 1998
- Probability Inequalities for Sums of Bounded Random VariablesJournal of the American Statistical Association, 1963
- La reconstruction du nid et les coordinations interindividuelles chezBellicositermes natalensis etCubitermes sp. la théorie de la stigmergie: Essai d'interprétation du comportement des termites constructeursInsectes Sociaux, 1959
- Sequential Tests of Statistical HypothesesThe Annals of Mathematical Statistics, 1945