{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,17]],"date-time":"2026-10-17T19:17:07Z","timestamp":1792264627990,"version":"4.4.0"},"reference-count":56,"publisher":"Springer Science and Business Media LLC","issue":"5-6","license":[{"start":{"date-parts":[[2023,11,2]],"date-time":"2023-11-02T00:00:00Z","timestamp":1698883200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2023,11,2]],"date-time":"2023-11-02T00:00:00Z","timestamp":1698883200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/100015963","name":"Scuola IMT Alti Studi Lucca","doi-asserted-by":"crossref","id":[{"id":"10.13039\/100015963","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Int J Softw Tools Technol Transfer"],"published-print":{"date-parts":[[2023,12]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>This paper advocates the use of compositional specifications based on formal languages as a means of modelling and analysing sophisticated collective behaviour in natural systems. With the use of appropriate linguistic constructs, models can be developed that are both compact and intuitive, and can be easily refined and extended in small steps. Automated workflows can be implemented on top of this methodology to provide quick feedback, enabling rapid design iterations. To support our argument, we present three examples from the natural world, focusing on flocks of birds and colonies of ants, which feature well-known examples of emergent behaviour in collective adaptive systems. We use an agent-based language to develop simple models that aim at capturing these collective phenomena, and discuss the specific language constructs that we use in the process. Then, we adapt an existing verification tool for the language to simulate our models, and show that our simulations do display emergent behaviour.<\/jats:p>","DOI":"10.1007\/s10009-023-00731-0","type":"journal-article","created":{"date-parts":[[2023,11,2]],"date-time":"2023-11-02T13:02:13Z","timestamp":1698930133000},"page":"675-691","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":11,"title":["Modelling flocks of birds and colonies of ants from the bottom up"],"prefix":"10.1007","volume":"25","author":[{"given":"Rocco","family":"De Nicola","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Luca","family":"Di Stefano","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Omar","family":"Inverso","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Serenella","family":"Valiani","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2023,11,2]]},"reference":[{"key":"731_CR1","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"26","DOI":"10.1007\/978-3-319-22416-9_4","volume-title":"16th Annual Conference Towards Autonomous Robotic Systems (TAROS)","author":"L.R. Antu\u00f1a","year":"2015","unstructured":"Antu\u00f1a, L.R., Araiza-Illan, D., Campos, S., Eder, K.: Symmetry reduction enables model checking of more complex emergent behaviours of swarm navigation algorithms. In: 16th Annual Conference Towards Autonomous Robotic Systems (TAROS). LNCS, vol.\u00a09287, pp.\u00a026\u201337. Springer, Berlin (2015). https:\/\/doi.org\/10.1007\/978-3-319-22416-9_4"},{"issue":"4","key":"731_CR2","doi-asserted-by":"publisher","first-page":"1232","DOI":"10.1073\/pnas.0711437105","volume":"105","author":"M. Ballerini","year":"2008","unstructured":"Ballerini, M., Cabibbo, N., Candelier, R., Cavagna, A., Cisbani, E., Giardina, I., Lecomte, V., Orlandi, A., Parisi, G., Procaccini, A., Viale, M., Zdravkovic, V.: Interaction ruling animal collective behavior depends on topological rather than metric distance: evidence from a field study. Proc. Natl. Acad. Sci. 105(4), 1232\u20131237 (2008). https:\/\/doi.org\/10.1073\/pnas.0711437105","journal-title":"Proc. Natl. Acad. Sci."},{"issue":"3","key":"731_CR3","doi-asserted-by":"publisher","first-page":"258","DOI":"10.1007\/BF02224053","volume":"37","author":"R. Beckers","year":"1990","unstructured":"Beckers, R., Deneubourg, J.L., Goss, S., Pasteels, J.M., et al.: Collective decision making through food recruitment. Insectes Soc. 37(3), 258\u2013267 (1990)","journal-title":"Insectes Soc."},{"key":"731_CR4","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1007\/BF01240531","volume":"39","author":"R. Beckers","year":"1992","unstructured":"Beckers, R., Deneubourg, J.L., Goss, S.: Trail laying behaviour during food recruitment in the ant Lasius niger (L.). Insectes Soc. 39, 59\u201372 (1992)","journal-title":"Insectes Soc."},{"issue":"1","key":"731_CR5","doi-asserted-by":"publisher","first-page":"213","DOI":"10.2307\/1935314","volume":"56","author":"R.A. Bernstein","year":"1975","unstructured":"Bernstein, R.A.: Foraging strategies of ants in response to variable food density. Ecology 56(1), 213\u2013219 (1975)","journal-title":"Ecology"},{"issue":"13","key":"731_CR6","doi-asserted-by":"publisher","first-page":"4786","DOI":"10.1073\/pnas.1118633109","volume":"109","author":"W. Bialek","year":"2012","unstructured":"Bialek, W., Cavagna, A., Giardina, I., Mora, T., Silvestri, E., Viale, M., Walczak, A.M.: Statistical mechanics for natural flocks of birds. Proc. Natl. Acad. Sci. 109(13), 4786\u20134791 (2012)","journal-title":"Proc. Natl. Acad. Sci."},{"issue":"1","key":"731_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.: Swarm robotics: a review from the swarm engineering perspective. Swarm Intell. 7(1), 1\u201341 (2013). https:\/\/doi.org\/10.1007\/s11721-012-0075-2","journal-title":"Swarm Intell."},{"key":"731_CR8","doi-asserted-by":"publisher","first-page":"7296","DOI":"10.1073\/pnas.082081099","volume":"99","author":"L.E. Cederman","year":"2002","unstructured":"Cederman, L.E.: Endogenizing geopolitical boundaries with agent-based modeling. Proc. Natl. Acad. Sci. 99(Suppl 3), 7296\u20137303 (2002). https:\/\/doi.org\/10.1073\/pnas.082081099","journal-title":"Proc. Natl. Acad. Sci."},{"key":"731_CR9","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"359","DOI":"10.1007\/3-540-45657-0_29","volume-title":"14th International Conference on Computer Aided Verification (CAV)","author":"A. Cimatti","year":"2002","unstructured":"Cimatti, A., Clarke, E.M., Giunchiglia, E., Giunchiglia, F., Pistore, M., Roveri, M., Sebastiani, R., Tacchella, A.: NuSMV 2: an opensource tool for symbolic model checking. In: 14th International Conference on Computer Aided Verification (CAV). LNCS, vol.\u00a02404, pp.\u00a0359\u2013364. Springer, Berlin (2002). https:\/\/doi.org\/10.1007\/3-540-45657-0_29"},{"key":"731_CR10","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"168","DOI":"10.1007\/978-3-540-24730-2_15","volume-title":"10th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS)","author":"E. Clarke","year":"2004","unstructured":"Clarke, E., Kroening, D., Lerda, F.: A tool for checking ANSI-C programs. In: 10th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS). LNCS, pp.\u00a0168\u2013176. Springer, Berlin (2004). https:\/\/doi.org\/10.1007\/978-3-540-24730-2_15"},{"key":"731_CR11","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2019.102345","volume":"187","author":"R. De Nicola","year":"2020","unstructured":"De Nicola, R., Di Stefano, L., Inverso, O.: Multi-agent systems with virtual stigmergy. Sci. Comput. Program. 187, 102345 (2020). https:\/\/doi.org\/10.1016\/j.scico.2019.102345","journal-title":"Sci. Comput. Program."},{"key":"731_CR12","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"82","DOI":"10.1007\/978-3-031-19759-8_6","volume-title":"11th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning (ISoLA)","author":"R. De Nicola","year":"2022","unstructured":"De Nicola, R., Di Stefano, L., Inverso, O., Valiani, S.: Modelling flocks of birds from the bottom up. In: Margaria, T., Steffen, B. (eds.) 11th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning (ISoLA). LNCS, vol.\u00a013703, pp.\u00a082\u201396. Springer, Berlin (2022). https:\/\/doi.org\/10.1007\/978-3-031-19759-8_6"},{"issue":"3","key":"731_CR13","doi-asserted-by":"publisher","first-page":"343","DOI":"10.1162\/ARTL_a_00135","volume":"20","author":"J. Demsar","year":"2014","unstructured":"Demsar, J., Lebar Bajec, I.: Simulated predator attacks on flocks: a comparison of tactics. Artif. Life 20(3), 343\u2013359 (2014). https:\/\/doi.org\/10.1162\/ARTL_a_00135","journal-title":"Artif. Life"},{"issue":"2","key":"731_CR14","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1016\/S0022-5193(83)80007-1","volume":"105","author":"J.L. Deneubourg","year":"1983","unstructured":"Deneubourg, J.L., Pasteels, J.M., Verhaeghe, J.C.: Probabilistic behaviour in ants: a strategy of errors? J. Theor. Biol. 105(2), 259\u2013271 (1983)","journal-title":"J. Theor. Biol."},{"key":"731_CR15","doi-asserted-by":"publisher","DOI":"10.1145\/3055004.3055022","volume-title":"ICCPS","author":"A. Desai","year":"2017","unstructured":"Desai, A., Saha, I., Yang, J., Qadeer, S., Seshia, S.A.: DRONA: a framework for safe distributed mobile robotics In: ICCPS (2017). https:\/\/doi.org\/10.1145\/3055004.3055022"},{"key":"731_CR16","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"473","DOI":"10.1007\/978-3-030-89159-6_29","volume-title":"10th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA)","author":"L. Di Stefano","year":"2021","unstructured":"Di Stefano, L., Lang, F.: Verifying temporal properties of stigmergic collective systems using CADP. In: 10th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA). LNCS, vol.\u00a013036, pp.\u00a0473\u2013489. Springer, Berlin (2021). https:\/\/doi.org\/10.1007\/978-3-030-89159-6_29"},{"key":"731_CR17","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"370","DOI":"10.1007\/978-3-030-50029-0_23","volume-title":"22nd International Conference on Coordination Models and Languages (COORDINATION)","author":"L. Di Stefano","year":"2020","unstructured":"Di Stefano, L., Lang, F., Serwe, W.: Combining SLiVER with CADP to analyze multi-agent systems. In: 22nd International Conference on Coordination Models and Languages (COORDINATION). LNCS, vol.\u00a012134, pp.\u00a0370\u2013385. Springer, Berlin (2020). https:\/\/doi.org\/10.1007\/978-3-030-50029-0_23"},{"issue":"3","key":"731_CR18","doi-asserted-by":"publisher","DOI":"10.1145\/3490387","volume":"31","author":"L. Di Stefano","year":"2022","unstructured":"Di Stefano, L., De Nicola, R., Inverso, O.: Verification of distributed systems via sequential emulation. ACM Trans. Softw. Eng. Methodol. 31(3), 37 (2022). https:\/\/doi.org\/10.1145\/3490387","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"issue":"8","key":"731_CR19","doi-asserted-by":"publisher","first-page":"851","DOI":"10.1016\/S0167-739X(00)00042-X","volume":"16","author":"M. Dorigo","year":"2000","unstructured":"Dorigo, M., Bonabeau, E., Theraulaz, G.: Ant algorithms and stigmergy. Future Gener. Comput. Syst. 16(8), 851\u2013871 (2000)","journal-title":"Future Gener. Comput. Syst."},{"issue":"6978","key":"731_CR20","doi-asserted-by":"publisher","first-page":"70","DOI":"10.1038\/nature02345","volume":"428","author":"A. Dussutour","year":"2004","unstructured":"Dussutour, A., Fourcassi\u00e9, V., Helbing, D., Deneubourg, J.L.: Optimal traffic organization in ants under crowded conditions. Nature 428(6978), 70\u201373 (2004)","journal-title":"Nature"},{"key":"731_CR21","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1007\/s00265-006-0233-x","volume":"61","author":"A. Dussutour","year":"2006","unstructured":"Dussutour, A., Nicolis, S.C., Deneubourg, J.L., Fourcassi\u00e9, V.: Collective decisions in ants when foraging under crowded conditions. Behav. Ecol. Sociobiol. 61, 17\u201330 (2006)","journal-title":"Behav. Ecol. Sociobiol."},{"issue":"2","key":"731_CR22","doi-asserted-by":"publisher","first-page":"160","DOI":"10.2307\/4081266","volume":"69","author":"J.T. Emlen","year":"1952","unstructured":"Emlen, J.T.: Flocking behavior in birds. The Auk 69(2), 160\u2013170 (1952)","journal-title":"The Auk"},{"key":"731_CR23","first-page":"65","volume-title":"11th International Symposium on Leveraging Applications of Formal Methods (ISoLA)","author":"P. Fettke","year":"2022","unstructured":"Fettke, P., Reisig, W.: Discrete models of continuous behavior of collective adaptive systems. In: 11th International Symposium on Leveraging Applications of Formal Methods (ISoLA), pp.\u00a065\u201381. Springer, Berlin (2022)"},{"issue":"1","key":"731_CR24","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1137\/080719376","volume":"41","author":"D. Finkelshtein","year":"2009","unstructured":"Finkelshtein, D., Kondratiev, Y., Kutoviy, O.: Individual based model with competition in spatial ecology. SIAM J. Math. Anal. 41(1), 297\u2013317 (2009). https:\/\/doi.org\/10.1137\/080719376","journal-title":"SIAM J. Math. Anal."},{"key":"731_CR25","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1007\/978-3-319-23820-3_5","volume-title":"6th International Conference on Runtime Verification (RV)","author":"A. Francalanza","year":"2015","unstructured":"Francalanza, A., Aceto, L., Ing\u00f3lfsd\u00f3ttir, A.: On verifying Hennessy-Milner logic with recursion at runtime. In: 6th International Conference on Runtime Verification (RV). LNCS, vol.\u00a09333, pp.\u00a071\u201386. Springer, Berlin (2015). https:\/\/doi.org\/10.1007\/978-3-319-23820-3_5"},{"issue":"12","key":"731_CR26","doi-asserted-by":"publisher","first-page":"579","DOI":"10.1007\/BF00462870","volume":"76","author":"S. Goss","year":"1989","unstructured":"Goss, S., Aron, S., Deneubourg, J.L., Pasteels, J.M.: Self-organized shortcuts in the Argentine ant. Naturwissenschaften 76(12), 579\u2013581 (1989)","journal-title":"Naturwissenschaften"},{"key":"731_CR27","doi-asserted-by":"publisher","first-page":"202","DOI":"10.1145\/3332466.3374529","volume-title":"25th Symposium on Principles and Practice of Parallel Programming (PPoPP)","author":"O. Inverso","year":"2020","unstructured":"Inverso, O., Trubiani, C.: Parallel and distributed bounded model checking of multi-threaded programs. In: 25th Symposium on Principles and Practice of Parallel Programming (PPoPP), pp.\u00a0202\u2013216. ACM, New York (2020). https:\/\/doi.org\/10.1145\/3332466.3374529"},{"key":"731_CR28","doi-asserted-by":"publisher","first-page":"2149","DOI":"10.1109\/IROS.2004.1389727","volume-title":"IEEE\/RSJ International Conference on Intelligent Robots and Systems (IROS)","author":"N. Koenig","year":"2004","unstructured":"Koenig, N., Howard, A.: Design and use paradigms for Gazebo, an open-source multi-robot simulator. In: IEEE\/RSJ International Conference on Intelligent Robots and Systems (IROS), vol.\u00a03, pp.\u00a02149\u20132154. IEEE (2004). https:\/\/doi.org\/10.1109\/IROS.2004.1389727"},{"key":"731_CR29","first-page":"2081","volume-title":"29th Conference on Artificial Intelligence (AAAI)","author":"P. Kouvaros","year":"2015","unstructured":"Kouvaros, P., Lomuscio, A.: A counter abstraction technique for the verification of robot swarms. In: 29th Conference on Artificial Intelligence (AAAI), pp.\u00a02081\u20132088. AAAI (2015)"},{"key":"731_CR30","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"385","DOI":"10.1007\/978-3-030-50371-0_28","volume-title":"20th International Conference on Computational Science (ICCS)","author":"E. Kuylen","year":"2020","unstructured":"Kuylen, E., Liesenborgs, J., Broeckhove, J., Hens, N.: Using individual-based models to look beyond the horizon: the changing effects of household-based clustering of susceptibility to measles in the next 20 years. In: 20th International Conference on Computational Science (ICCS). LNCS, vol.\u00a012137, pp.\u00a0385\u2013398. Springer, Berlin (2020). https:\/\/doi.org\/10.1007\/978-3-030-50371-0_28"},{"key":"731_CR31","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1016\/j.jtbi.2004.10.003","volume":"233","author":"I. Lebar Bajec","year":"2005","unstructured":"Lebar Bajec, I., Zimic, N., Mraz, M.: Simulating flocks on the wing: the fuzzy approach. J. Theor. Biol. 233, 199\u2013220 (2005). https:\/\/doi.org\/10.1016\/j.jtbi.2004.10.003","journal-title":"J. Theor. Biol."},{"issue":"5","key":"731_CR32","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1016\/j.jlap.2008.08.004","volume":"78","author":"M. Leucker","year":"2009","unstructured":"Leucker, M., Schallhart, C.: A brief account of runtime verification. J. Log. Algebraic Program. 78(5), 293\u2013303 (2009). https:\/\/doi.org\/10.1016\/j.jlap.2008.08.004","journal-title":"J. Log. Algebraic Program."},{"issue":"1","key":"731_CR33","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1007\/s10009-015-0378-x","volume":"19","author":"A. Lomuscio","year":"2017","unstructured":"Lomuscio, A., Qu, H., Raimondi, F.: MCMAS: an open-source model checker for the verification of multi-agent systems. Softw. Tools Technol. Transf. 19(1), 9\u201330 (2017). https:\/\/doi.org\/10.1007\/s10009-015-0378-x","journal-title":"Softw. Tools Technol. Transf."},{"key":"731_CR34","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-030-45231-5_1","volume-title":"23rd International Conference on Foundations of Software Science and Computation Structures (FoSSaCS)","author":"U. Mehmood","year":"2020","unstructured":"Mehmood, U., Roy, S., Grosu, R., Smolka, S.A., Stoller, S.D., Tiwari, A.: Neural flocking: MPC-based supervised learning of flocking controllers. In: 23rd International Conference on Foundations of Software Science and Computation Structures (FoSSaCS). LNCS, vol.\u00a012077, pp.\u00a01\u201316. Springer, Berlin (2020). https:\/\/doi.org\/10.1007\/978-3-030-45231-5_1"},{"issue":"8","key":"731_CR35","doi-asserted-by":"publisher","first-page":"937","DOI":"10.1016\/S0167-739X(00)00047-9","volume":"16","author":"N. Monmarch\u00e9","year":"2000","unstructured":"Monmarch\u00e9, N., Venturini, G., Slimane, M.: On how pachycondyla apicalis ants suggest a new search algorithm. Future Gener. Comput. Syst. 16(8), 937\u2013946 (2000). https:\/\/doi.org\/10.1016\/S0167-739X(00)00047-9","journal-title":"Future Gener. Comput. Syst."},{"issue":"3","key":"731_CR36","doi-asserted-by":"publisher","first-page":"401","DOI":"10.1109\/TAC.2005.864190","volume":"51","author":"R. Olfati-Saber","year":"2006","unstructured":"Olfati-Saber, R.: Flocking for multi-agent dynamic systems: algorithms and theory. IEEE Trans. Autom. Control 51(3), 401\u2013420 (2006). https:\/\/doi.org\/10.1109\/TAC.2005.864190","journal-title":"IEEE Trans. Autom. Control"},{"key":"731_CR37","doi-asserted-by":"publisher","first-page":"3794","DOI":"10.1109\/IROS.2016.7759558","volume-title":"IEEE\/RSJ International Conference on Intelligent Robots and Systems (IROS)","author":"C. Pinciroli","year":"2016","unstructured":"Pinciroli, C., Beltrame, G.: Buzz: an extensible programming language for heterogeneous swarm robotics. In: IEEE\/RSJ International Conference on Intelligent Robots and Systems (IROS), pp.\u00a03794\u20133800. IEEE (2016). https:\/\/doi.org\/10.1109\/IROS.2016.7759558"},{"issue":"4","key":"731_CR38","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., Mathews, N., Ferrante, E., Di Caro, G., Ducatelle, F., Birattari, M., Gambardella, L.M., Dorigo, M.: ARGoS: a modular, parallel, multi-engine simulator for multi-robot systems. Swarm Intell. 6(4), 271\u2013295 (2012). https:\/\/doi.org\/10.1007\/S11721-012-0072-5","journal-title":"Swarm Intell."},{"key":"731_CR39","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1109\/SFCS.1977.32","volume-title":"18th Annual Symposium on Foundations of Computer Science (FOCS)","author":"A. Pnueli","year":"1977","unstructured":"Pnueli, A.: The temporal logic of programs. In: 18th Annual Symposium on Foundations of Computer Science (FOCS), pp.\u00a046\u201357. IEEE (1977). https:\/\/doi.org\/10.1109\/SFCS.1977.32"},{"key":"731_CR40","volume-title":"ICRA Workshop on Open Source Software","author":"M. Quigley","year":"2009","unstructured":"Quigley, M., Conley, K., Gerkey, B., Faust, J., Foote, T., Leibs, J., Berger, E., Wheeler, R., Ng, A.Y.: ROS: an open-source robot operating system. In: ICRA Workshop on Open Source Software (2009)"},{"key":"731_CR41","volume-title":"Turtles, Termites, and Traffic Jams - Explorations in Massively Parallel Microworlds","author":"M. Resnick","year":"1998","unstructured":"Resnick, M.: Turtles, Termites, and Traffic Jams - Explorations in Massively Parallel Microworlds. MIT Press, Cambridge (1998)"},{"key":"731_CR42","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1145\/37401.37406","volume-title":"Proceedings of the 14th Annual Conference on Computer Graphics and Interactive Techniques, SIGGRAPH 1987, Anaheim, California, USA, July 27-31, 1987","author":"C.W. Reynolds","year":"1987","unstructured":"Reynolds, C.W.: Flocks, herds and schools: a distributed behavioral model. In: Proceedings of the 14th Annual Conference on Computer Graphics and Interactive Techniques, SIGGRAPH 1987, Anaheim, California, USA, July 27-31, 1987, pp.\u00a025\u201334. ACM (1987). https:\/\/doi.org\/10.1145\/37401.37406"},{"key":"731_CR43","doi-asserted-by":"publisher","first-page":"1321","DOI":"10.1109\/IROS.2013.6696520","volume-title":"IEEE\/RSJ International Conference on Intelligent Robots and Systems (IROS)","author":"E. Rohmer","year":"2013","unstructured":"Rohmer, E., Singh, S.P.N., Freese, M.: V-REP: a versatile and scalable robot simulation framework. In: IEEE\/RSJ International Conference on Intelligent Robots and Systems (IROS), pp.\u00a01321\u20131326. IEEE (2013). https:\/\/doi.org\/10.1109\/IROS.2013.6696520"},{"key":"731_CR44","doi-asserted-by":"publisher","DOI":"10.5281\/ZENODO.8228783","author":"V. Scheibe","year":"2023","unstructured":"Scheibe, V.: Introduction and replication of a bird flocking behavior simulation. Zenodo (2023). https:\/\/doi.org\/10.5281\/ZENODO.8228783. https:\/\/zenodo.org\/record\/8228784","journal-title":"Zenodo"},{"key":"731_CR45","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"202","DOI":"10.1007\/978-3-540-27813-9_16","volume-title":"16th International Conference on Computer Aided Verification (CAV)","author":"K. Sen","year":"2004","unstructured":"Sen, K., Viswanathan, M., Agha, G.: Statistical model checking of black-box probabilistic systems. In: 16th International Conference on Computer Aided Verification (CAV). LNCS, vol.\u00a03114, pp.\u00a0202\u2013215. Springer, Berlin (2004). https:\/\/doi.org\/10.1007\/978-3-540-27813-9_16"},{"issue":"1","key":"731_CR46","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1080\/00207170801983091","volume":"82","author":"H. Shi","year":"2009","unstructured":"Shi, H., Wang, L., Chu, T.: Flocking of multi-agent systems with a dynamic virtual leader. Int. J. Control 82(1), 43\u201358 (2009). https:\/\/doi.org\/10.1080\/00207170801983091","journal-title":"Int. J. Control"},{"issue":"1","key":"731_CR47","doi-asserted-by":"publisher","first-page":"6","DOI":"10.1057\/eej.2010.33","volume":"37","author":"J.E. Stiglitz","year":"2011","unstructured":"Stiglitz, J.E., Gallegati, M.: Heterogeneous interacting agent models for understanding monetary economies. East. Econ. J. 37(1), 6\u201312 (2011). https:\/\/doi.org\/10.1057\/eej.2010.33","journal-title":"East. Econ. J."},{"issue":"2","key":"731_CR48","doi-asserted-by":"publisher","first-page":"273","DOI":"10.1006\/anbe.2003.2224","volume":"66","author":"D.J. Sumpter","year":"2003","unstructured":"Sumpter, D.J., Beekman, M.: From nonlinearity to optimality: pheromone trail foraging by ants. Anim. Behav. 66(2), 273\u2013280 (2003)","journal-title":"Anim. Behav."},{"issue":"5","key":"731_CR49","doi-asserted-by":"publisher","first-page":"951","DOI":"10.1006\/bulm.2001.0252","volume":"63","author":"D.J. Sumpter","year":"2001","unstructured":"Sumpter, D.J., Blanchard, G.B., Broomhead, D.S.: Ants and agents: a process algebra approach to modelling ant colony behaviour. Bull. Math. Biol. 63(5), 951\u2013980 (2001). https:\/\/doi.org\/10.1006\/bulm.2001.0252","journal-title":"Bull. Math. Biol."},{"key":"731_CR50","first-page":"227","volume":"9","author":"C.M.N. Tofts","year":"1992","unstructured":"Tofts, C.M.N.: Describing social insect behaviour using process algebra. Trans. Soc. Comput. Simul. 9, 227 (1992)","journal-title":"Trans. Soc. Comput. Simul."},{"issue":"1","key":"731_CR51","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1016\/S0022-5193(05)80757-X","volume":"157","author":"C. Tofts","year":"1992","unstructured":"Tofts, C., Hatcher, M., Franks, N.: The autosynchronization of the ant Leptothorax acervorum (Fabricius): theory, testability and experiment. J. Theor. Biol. 157(1), 71\u201382 (1992)","journal-title":"J. Theor. Biol."},{"issue":"4","key":"731_CR52","doi-asserted-by":"publisher","first-page":"4828","DOI":"10.1103\/PhysRevE.58.4828","volume":"58","author":"J. Toner","year":"1998","unstructured":"Toner, J., Tu, Y.: Flocks, herds, and schools: a quantitative theory of flocking. Phys. Rev. E 58(4), 4828\u20134858 (1998). https:\/\/doi.org\/10.1103\/PhysRevE.58.4828","journal-title":"Phys. Rev. E"},{"issue":"1","key":"731_CR53","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1146\/annurev.en.34.010189.001203","volume":"34","author":"J.F. Traniello","year":"1989","unstructured":"Traniello, J.F.: Foraging strategies of ants. Annu. Rev. Entomol. 34(1), 191\u2013210 (1989)","journal-title":"Annu. Rev. Entomol."},{"key":"731_CR54","doi-asserted-by":"publisher","first-page":"3866","DOI":"10.1109\/IROS.2014.6943105","volume-title":"IEEE\/RSJ International Conference on Intelligent Robots and Systems (IROS)","author":"G. V\u00e1s\u00e1rhelyi","year":"2014","unstructured":"V\u00e1s\u00e1rhelyi, G., Vir\u00e1gh, C., Somorjai, G., Tarcai, N., Sz\u00f6r\u00e9nyi, T., Nepusz, T., Vicsek, T.: Outdoor flocking and formation flight with autonomous aerial robots. In: IEEE\/RSJ International Conference on Intelligent Robots and Systems (IROS), pp.\u00a03866\u20133873. IEEE (2014). https:\/\/doi.org\/10.1109\/IROS.2014.6943105"},{"key":"731_CR55","volume-title":"EuroLogo","author":"U. Wilensky","year":"2001","unstructured":"Wilensky, U.: Modeling nature\u2019s emergent patterns with multi-agent languages. In: EuroLogo (2001)"},{"issue":"2\u20134","key":"731_CR56","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1007\/s11721-008-0018-0","volume":"2","author":"A.F.T. Winfield","year":"2008","unstructured":"Winfield, A.F.T., Liu, W., Nembrini, J., Martinoli, A.: Modelling a wireless connected swarm of mobile robots. Swarm Intell. 2(2\u20134), 241\u2013266 (2008). https:\/\/doi.org\/10.1007\/s11721-008-0018-0","journal-title":"Swarm Intell."}],"container-title":["International Journal on Software Tools for Technology Transfer"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-023-00731-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10009-023-00731-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-023-00731-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,11,27]],"date-time":"2023-11-27T13:08:38Z","timestamp":1701090518000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10009-023-00731-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,11,2]]},"references-count":56,"journal-issue":{"issue":"5-6","published-print":{"date-parts":[[2023,12]]}},"alternative-id":["731"],"URL":"https:\/\/doi.org\/10.1007\/s10009-023-00731-0","relation":{},"ISSN":["1433-2779","1433-2787"],"issn-type":[{"value":"1433-2779","type":"print"},{"value":"1433-2787","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023,11,2]]},"assertion":[{"value":"10 October 2023","order":1,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"2 November 2023","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}