{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,10]],"date-time":"2026-01-10T02:17:12Z","timestamp":1768011432936,"version":"3.49.0"},"reference-count":53,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2020,5,29]],"date-time":"2020-05-29T00:00:00Z","timestamp":1590710400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,5,29]],"date-time":"2020-05-29T00:00:00Z","timestamp":1590710400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"funder":[{"name":"NSERC Strategic Partnership","award":["Grant 479149-2015"],"award-info":[{"award-number":["Grant 479149-2015"]}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Swarm Intell"],"published-print":{"date-parts":[[2020,9]]},"DOI":"10.1007\/s11721-020-00183-1","type":"journal-article","created":{"date-parts":[[2020,5,29]],"date-time":"2020-05-29T14:02:36Z","timestamp":1590760956000},"page":"205-231","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":11,"title":["On the robustness of consensus-based behaviors for robot swarms"],"prefix":"10.1007","volume":"14","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-9783-7074","authenticated-orcid":false,"given":"Majda","family":"Moussa","sequence":"first","affiliation":[]},{"given":"Giovanni","family":"Beltrame","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2020,5,29]]},"reference":[{"issue":"1","key":"183_CR1","doi-asserted-by":"publisher","first-page":"6","DOI":"10.1145\/3158668","volume":"28","author":"G Agha","year":"2018","unstructured":"Agha, G., & Palmskog, K. (2018). A survey of statistical model checking. ACM Transactions on Modeling and Computer Simulation (TOMACS), 28(1), 6.","journal-title":"ACM Transactions on Modeling and Computer Simulation (TOMACS)"},{"key":"183_CR2","doi-asserted-by":"crossref","unstructured":"Amin, S., Elahi, A., Saghar, K., & Mehmood, F. (2017). Formal modelling and verification approach for improving probabilistic behaviour of robot swarms. In 2017 14th international Bhurban conference applied sciences and technology (IBCAST) (pp. 392\u2013400). IEEE.","DOI":"10.1109\/IBCAST.2017.7868084"},{"issue":"1","key":"183_CR3","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1007\/s10009-008-0091-0","volume":"11","author":"A Armando","year":"2009","unstructured":"Armando, A., Mantovani, J., & Platania, L. (2009). Bounded model checking of software using smt solvers instead of sat solvers. International Journal on Software Tools for Technology Transfer, 11(1), 69\u201383.","journal-title":"International Journal on Software Tools for Technology Transfer"},{"key":"183_CR4","volume-title":"Advances in temporal logic","author":"H Barringer","year":"2013","unstructured":"Barringer, H., Fisher, M., Gabbay, D. M., & Gough, G. (2013). Advances in temporal logic. Berlin: Springer."},{"key":"183_CR5","doi-asserted-by":"crossref","unstructured":"Behrmann, G., Larsen, K. G., & Rasmussen, J. I. (2004). Priced timed automata: Algorithms and applications. In International symposium on formal methods for components and objects (pp. 162\u2013182). Springer.","DOI":"10.1007\/11561163_8"},{"key":"183_CR6","unstructured":"Behrmann, G., David, A., Larsen, K. G., Hakansson, J., Petterson, P., Yi, W., & Hendriks, M. (2006). Uppaal 4.0. In Third international conference quantitative evaluation of systems, 2006. QEST 2006 (pp. 125\u2013126). IEEE."},{"issue":"1","key":"183_CR7","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s11721-012-0075-2","volume":"7","author":"M Brambilla","year":"2013","unstructured":"Brambilla, M., Ferrante, E., Birattari, M., & Dorigo, M. (2013). Swarm robotics: A review from the swarm engineering perspective. Swarm Intelligence, 7(1), 1\u201341.","journal-title":"Swarm Intelligence"},{"key":"183_CR8","doi-asserted-by":"crossref","unstructured":"Brunet, L., Choi, H. L., & How, J. P. (2008). Consensus-based auction approaches for decentralized task assignment. In AIAA guidance, navigation, and control conference (p. 6839). Honolulu, Hawaii.","DOI":"10.2514\/6.2008-6839"},{"key":"183_CR9","doi-asserted-by":"crossref","unstructured":"Bulychev, P. E, David, A., Larsen, K. G., Legay, A., Li, G., Poulsen, D. B., & Stainer, A. (2012). Monitor-based statistical model checking for weighted metric temporal logic. In LPAR (pp. 168\u2013182). Springer.","DOI":"10.1007\/978-3-642-28717-6_15"},{"key":"183_CR11","doi-asserted-by":"crossref","unstructured":"Cimatti, A., Clarke, E., Giunchiglia, E., Giunchiglia, F., Pistore, M., Roveri, M., Sebastiani, R., & Tacchella, A. (2002). Nusmv 2: An opensource tool for symbolic model checking. In: International conference on computer aided verification (pp. 359\u2013364). Springer.","DOI":"10.1007\/3-540-45657-0_29"},{"key":"183_CR12","doi-asserted-by":"crossref","unstructured":"Clarke, E., Grumberg, O., Jha, S., Lu, Y., & Veith, H. (2001). Progress on the state explosion problem in model checking. In Informatics (pp. 176\u2013194). Springer.","DOI":"10.1007\/3-540-44577-3_12"},{"issue":"5","key":"183_CR13","doi-asserted-by":"publisher","first-page":"1512","DOI":"10.1145\/186025.186051","volume":"16","author":"EM Clarke","year":"1994","unstructured":"Clarke, E. M., Grumberg, O., & Long, D. E. (1994). Model checking and abstraction. ACM Transactions on Programming Languages and Systems (TOPLAS), 16(5), 1512\u20131542.","journal-title":"ACM Transactions on Programming Languages and Systems (TOPLAS)"},{"key":"183_CR14","volume-title":"Model checking","author":"EM Clarke","year":"1999","unstructured":"Clarke, E. M., Grumberg, O., & Peled, D. (1999). Model checking. Cambridge: MIT Press."},{"issue":"1","key":"183_CR15","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1007\/s10846-014-0154-2","volume":"80","author":"GP Das","year":"2015","unstructured":"Das, G. P., McGinnity, T. M., Coleman, S. A., & Behera, L. (2015). A distributed task allocation algorithm for a multi-robot system in healthcare facilities. Journal of Intelligent and Robotic Systems, 80(1), 33\u201358.","journal-title":"Journal of Intelligent and Robotic Systems"},{"key":"183_CR16","doi-asserted-by":"crossref","unstructured":"David, A., Larsen, K. G., Legay, A., Miku\u010dionis, M., Poulsen, D. B., Van\u00a0Vliet, J., & Wang, Z. (2011). Statistical model checking for networks of priced timed automata. In International conference on formal modeling and analysis of timed systems (pp. 80\u201396). Springer.","DOI":"10.1007\/978-3-642-24310-3_7"},{"issue":"5","key":"183_CR18","doi-asserted-by":"publisher","first-page":"315","DOI":"10.1109\/32.685256","volume":"24","author":"R De Nicola","year":"1998","unstructured":"De Nicola, R., Ferrari, G. L., & Pugliese, R. (1998). Klaim: A kernel language for agents interaction and mobility. IEEE Transactions on Software Engineering, 24(5), 315\u2013330.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"183_CR17","doi-asserted-by":"crossref","unstructured":"De\u00a0Nicola, R., & K\u00fchn, E. (2016). Software engineering and formal methods. In Proceedings 14th international conference SEFM 2016. Springer.","DOI":"10.1007\/978-3-319-41591-8"},{"issue":"11","key":"183_CR19","doi-asserted-by":"publisher","first-page":"1429","DOI":"10.1016\/j.robot.2012.03.003","volume":"60","author":"C Dixon","year":"2012","unstructured":"Dixon, C., Winfield, A. F., Fisher, M., & Zeng, C. (2012). Towards temporal verification of swarm robotic systems. Robotics and Autonomous Systems, 60(11), 1429\u20131441.","journal-title":"Robotics and Autonomous Systems"},{"issue":"1","key":"183_CR20","doi-asserted-by":"publisher","first-page":"1463","DOI":"10.4249\/scholarpedia.1463","volume":"9","author":"M Dorigo","year":"2014","unstructured":"Dorigo, M., Birattari, M., & Brambilla, M. (2014). Swarm robotics. Scholarpedia, 9(1), 1463.","journal-title":"Scholarpedia"},{"key":"183_CR21","doi-asserted-by":"crossref","unstructured":"Fainekos, G. E., Kress-Gazit, H., & Pappas, G. J. (2005). Temporal logic motion planning for mobile robots. In  Proceedings of the 2005 IEEE international conference on robotics and automation (pp. 2020\u20132025). IEEE.","DOI":"10.1109\/ROBOT.2005.1570410"},{"key":"183_CR22","doi-asserted-by":"crossref","unstructured":"Fernandez, J. C., Mounier, L., & Pachon, C. (2005). A model-basedapproach for robustness testing. IFIP international conference on testing of communicating systems (pp. 333\u2013348).","DOI":"10.1007\/11430230_23"},{"key":"183_CR23","doi-asserted-by":"crossref","unstructured":"Gjondrekaj, E., Loreti, M., Pugliese, R., Tiezzi, F., Pinciroli, C., Brambilla, M., Birattari, M., & Dorigo, M. (2012). Towards a formal verification methodology for collective robotic systems. In International conference on formal engineering methods (pp. 54\u201370). Springer.","DOI":"10.1007\/978-3-642-34281-3_7"},{"issue":"1","key":"183_CR24","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1007\/BF02223791","volume":"6","author":"PP Grass\u00e9","year":"1959","unstructured":"Grass\u00e9, P. P. (1959). La reconstruction du nid et les coordinations interindividuelles chezbellicositermes natalensis etcubitermes sp. la th\u00e9orie de la stigmergie: Essai d\u2019interpr\u00e9tation du comportement des termites constructeurs. Insectes sociaux, 6(1), 41\u201380.","journal-title":"Insectes sociaux"},{"key":"183_CR25","doi-asserted-by":"crossref","unstructured":"Hessel, A., Larsen, K.G., Mikucionis, M., Nielsen, B., Pettersson, P., & Skou, A. (2008). Testing real-time systems using uppaal. In Formal methods and testing (pp. 77\u2013117). Springer.","DOI":"10.1007\/978-3-540-78917-8_3"},{"issue":"301","key":"183_CR26","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1080\/01621459.1963.10500830","volume":"58","author":"W Hoeffding","year":"1963","unstructured":"Hoeffding, W. (1963). Probability inequalities for sums of bounded random variables. Journal of the American Statistical Association, 58(301), 13\u201330.","journal-title":"Journal of the American Statistical Association"},{"key":"183_CR27","volume-title":"Spin model checker: The primer and referencemanual","author":"G Holzmann","year":"2003","unstructured":"Holzmann, G. (2003). Spin model checker: The primer and referencemanual. Boston: Addison-Wesley Professional."},{"issue":"2","key":"183_CR28","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1016\/j.robot.2011.10.005","volume":"60","author":"S Konur","year":"2012","unstructured":"Konur, S., Dixon, C., & Fisher, M. (2012). Analysing robot swarm behaviour via probabilistic model checking. Robotics and Autonomous Systems, 60(2), 199\u2013213.","journal-title":"Robotics and Autonomous Systems"},{"key":"183_CR29","unstructured":"Kouvaros, P., & Lomuscio, A. (2016). Formal verification of opinion formation in swarms. In Proceedings of the 2016 international conference on autonomous agents and multiagent systems (pp. 1200\u20131208). International Foundation for Autonomous Agents and Multiagent Systems."},{"key":"183_CR30","doi-asserted-by":"crossref","unstructured":"Kouvaros, P., & Lomuscio, A. (2017). Verifying fault-tolerance in parameterised multi-agent systems. In IJCAI (pp. 288\u2013294).","DOI":"10.24963\/ijcai.2017\/41"},{"key":"183_CR31","doi-asserted-by":"crossref","unstructured":"Kuriki, Y., & Namerikawa, T. (2015). Experimental validation of cooperative formation control with collision avoidance for a multi-uav system. In Automation, robotics and applications (ICARA) (pp. 531\u2013536). IEEE.","DOI":"10.1109\/ICARA.2015.7081204"},{"key":"183_CR32","doi-asserted-by":"crossref","unstructured":"Kwiatkowska, M., Norman, G., & Parker, D. (2011). Prism 4.0: Verification of probabilistic real-time systems. In Computer aided verification (pp 585\u2013591). Springer.","DOI":"10.1007\/978-3-642-22110-1_47"},{"key":"183_CR33","unstructured":"Mika\u00ebl, L. (2012). Formal verification of flexibility in swarm robotics. Ph.D. thesis, Citeseer."},{"key":"183_CR34","doi-asserted-by":"crossref","unstructured":"Otte, M., Kuhlman, M., & Sofge, D. (2017). Multi-robot task allocation with auctions in harsh communication environments. In Multi-robot and multi-agent systems (MRS) (pp. 32\u201339). IEEE.","DOI":"10.1109\/MRS.2017.8250928"},{"key":"183_CR37","doi-asserted-by":"crossref","unstructured":"Pinciroli, C., Lee-Brown, A., & Beltrame, G. (2015) A tuple space for data sharing in robot swarms. In BICT 2015, proceedings of the 9th EAI international conference on bio-inspired information and communications technologies (formerly BIONETICS) (pp. 287\u2013294).","DOI":"10.4108\/eai.3-12-2015.2262503"},{"key":"183_CR36","doi-asserted-by":"crossref","unstructured":"Pinciroli, C., Lee-Brown, A., & Beltrame, G. (2016). Buzz: An extensible programming language for self-organizing heterogeneous robot swarms. In 2016 IEEE\/RSJ international conference on intelligent robots and systems (IROS) (pp. 3794\u20133800). IEEE.","DOI":"10.1109\/IROS.2016.7759558"},{"issue":"4","key":"183_CR35","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1007\/s11721-012-0072-5","volume":"6","author":"C Pinciroli","year":"2012","unstructured":"Pinciroli, C., Trianni, V., O\u2019Grady, R., Pini, G., Brutschy, A., Brambilla, M., et al. (2012). ARGoS: A modular, parallel, multi-engine simulator for multi-robot systems. Swarm Intelligence, 6(4), 271\u2013295.","journal-title":"Swarm Intelligence"},{"issue":"10","key":"183_CR38","doi-asserted-by":"publisher","first-page":"e0140950","DOI":"10.1371\/journal.pone.0140950","volume":"10","author":"A Reina","year":"2015","unstructured":"Reina, A., Valentini, G., Fern\u00e1ndez-Oto, C., Dorigo, M., & Trianni, V. (2015). A design pattern for decentralised decision making. PloS ONE, 10(10), e0140950.","journal-title":"PloS ONE"},{"issue":"4","key":"183_CR39","doi-asserted-by":"publisher","first-page":"729","DOI":"10.1007\/s10514-015-9491-7","volume":"40","author":"C Robin","year":"2016","unstructured":"Robin, C., & Lacroix, S. (2016). Multi-robot target detection and tracking: taxonomy and survey. Autonomous Robots, 40(4), 729\u2013760.","journal-title":"Autonomous Robots"},{"issue":"12","key":"183_CR40","doi-asserted-by":"publisher","first-page":"112","DOI":"10.1016\/j.ifacol.2018.07.097","volume":"51","author":"F Rossi","year":"2018","unstructured":"Rossi, F., Bandyopadhyay, S., Wolf, M., & Pavone, M. (2018). Review of multi-agent algorithms for collective behavior: A structural taxonomy. IFAC-Papers OnLine, 51(12), 112\u2013117.","journal-title":"IFAC-Papers OnLine"},{"key":"183_CR41","doi-asserted-by":"publisher","first-page":"10","DOI":"10.1002\/9781118631980","volume-title":"Simulation and the Monte Carlo method","author":"RY Rubinstein","year":"2016","unstructured":"Rubinstein, R. Y., & Kroese, D. P. (2016). Simulation and the Monte Carlo method (p. 10). New York: Wiley."},{"key":"183_CR42","doi-asserted-by":"publisher","first-page":"1191","DOI":"10.1016\/j.procs.2016.05.461","volume":"80","author":"MC Ruiz","year":"2016","unstructured":"Ruiz, M. C., Maci\u00e0, H., Mateo, J. A., & Calleja, J. (2016). Formal analysis of an energy-aware collision resolution protocol for wireless sensor networks. Procedia Computer Science, 80, 1191\u20131201.","journal-title":"Procedia Computer Science"},{"key":"183_CR43","doi-asserted-by":"crossref","unstructured":"Saghar, K., Henderson, W., Kendall, D., Bouridane, A. (2010). Formal modelling of a robust wireless sensor network routing protocol. In 2010 NASA\/ESA conference on adaptive hardware and systems (pp. 281\u2013288). IEEE.","DOI":"10.1109\/AHS.2010.5546247"},{"key":"183_CR44","doi-asserted-by":"publisher","first-page":"422","DOI":"10.1016\/j.robot.2015.08.010","volume":"75","author":"M Senanayake","year":"2016","unstructured":"Senanayake, M., Senthooran, I., Barca, J. C., Chung, H., Kamruzzaman, J., & Murshed, M. (2016). Search and tracking algorithms for swarms of robots: A survey. Robotics and Autonomous Systems, 75, 422\u2013434.","journal-title":"Robotics and Autonomous Systems"},{"key":"183_CR45","unstructured":"St-Onge, D., Varadharajan, V.S., Li, G., Svogor, I., & Beltrame, G. (2017). Ros and buzz: Consensus-based behaviors for heterogeneous teams. arXiv preprint arXiv:171008843"},{"key":"183_CR46","unstructured":"Strobel, V., Castell\u00f3\u00a0Ferrer, E., & Dorigo, M. (2018). Managing byzantine robots via blockchain technology in a swarm robotics collective decision making scenario. In Proceedings of the 17th international conference on autonomous agents and multiagent systems (pp. 541\u2013549). International foundation for autonomous agents and multiagent systems."},{"key":"183_CR47","doi-asserted-by":"publisher","DOI":"10.1201\/b17279","volume-title":"Sequential analysis: Hypothesis testing and changepoint detection","author":"A Tartakovsky","year":"2014","unstructured":"Tartakovsky, A., Nikiforov, I., & Basseville, M. (2014). Sequential analysis: Hypothesis testing and changepoint detection. Boca Raton: CRC Press."},{"issue":"1","key":"183_CR54","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1023\/A:1008734703554","volume":"18","author":"S Tripakis","year":"2001","unstructured":"Tripakis, S., & Yovine, S. (2001). Analysis of timed systems using time-abstracting bisimulations. Formal Methods Syst Des, 18(1), 25\u201368.","journal-title":"Formal Methods Syst Des"},{"key":"183_CR48","doi-asserted-by":"crossref","unstructured":"Valentini, G. (2017). Achieving consensus in robot swarms. Design and analysis of strategies for the best-of-n-problem. In Studies in computational intelligence (Vol. 706). Springer.","DOI":"10.1007\/978-3-319-53609-5_3"},{"issue":"2","key":"183_CR49","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1214\/aoms\/1177731118","volume":"16","author":"A Wald","year":"1945","unstructured":"Wald, A. (1945). Sequential tests of statistical hypotheses. The Annals of Mathematical Statistics, 16(2), 117\u2013186.","journal-title":"The Annals of Mathematical Statistics"},{"issue":"6684","key":"183_CR50","doi-asserted-by":"publisher","first-page":"440","DOI":"10.1038\/30918","volume":"393","author":"DJ Watts","year":"1998","unstructured":"Watts, D. J., & Strogatz, S. H. (1998). Collective dynamics of small-world networks. Nature, 393(6684), 440.","journal-title":"Nature"},{"key":"183_CR51","doi-asserted-by":"crossref","unstructured":"Wei, X., Fengyang, D., Qingjie, Z., Bing, Z., & Hongchang, S. (2015). A new fast consensus algorithm applied in rendezvous of multi-uav. In Control and decision conference (CCDC (pp. 55\u201360). IEEE.","DOI":"10.1109\/CCDC.2015.7161666"},{"issue":"4","key":"183_CR52","doi-asserted-by":"publisher","first-page":"39","DOI":"10.5772\/5769","volume":"2","author":"AF Winfield","year":"2005","unstructured":"Winfield, A. F., Sa, J., Fern\u00e1ndez-Gago, M. C., Dixon, C., & Fisher, M. (2005). On formal specification of emergent behaviours in swarm robotic systems. International Journal of Advanced Robotic Systems, 2(4), 39.","journal-title":"International Journal of Advanced Robotic Systems"},{"key":"183_CR53","doi-asserted-by":"crossref","unstructured":"Yang, B., Bryant, R. E., OHallaron, D. R, Biere, A., Coudert, O., Janssen, G., Ranjan, R. K., & Somenzi, F. (1998). A performance study of bdd-based model checking. In International conference on formal methods in computer-aided design (pp. 255\u2013289). Springer.","DOI":"10.1007\/3-540-49519-3_18"}],"container-title":["Swarm Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11721-020-00183-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11721-020-00183-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11721-020-00183-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,29]],"date-time":"2021-05-29T00:25:49Z","timestamp":1622247949000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11721-020-00183-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,5,29]]},"references-count":53,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2020,9]]}},"alternative-id":["183"],"URL":"https:\/\/doi.org\/10.1007\/s11721-020-00183-1","relation":{},"ISSN":["1935-3812","1935-3820"],"issn-type":[{"value":"1935-3812","type":"print"},{"value":"1935-3820","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020,5,29]]},"assertion":[{"value":"24 April 2019","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"24 April 2020","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"29 May 2020","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}