{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T19:41:32Z","timestamp":1742931692378,"version":"3.40.3"},"publisher-location":"Cham","reference-count":34,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031737084"},{"type":"electronic","value":"9783031737091"}],"license":[{"start":{"date-parts":[[2024,10,9]],"date-time":"2024-10-09T00:00:00Z","timestamp":1728432000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,10,9]],"date-time":"2024-10-09T00:00:00Z","timestamp":1728432000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025]]},"DOI":"10.1007\/978-3-031-73709-1_17","type":"book-chapter","created":{"date-parts":[[2024,10,8]],"date-time":"2024-10-08T10:12:01Z","timestamp":1728382321000},"page":"271-286","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Flocks of\u00a0Birds: A Quantitative Evaluation"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-6895-6517","authenticated-orcid":false,"given":"Emilio","family":"Incerto","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7675-6942","authenticated-orcid":false,"given":"Catia","family":"Trubiani","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2024,10,9]]},"reference":[{"key":"17_CR1","doi-asserted-by":"crossref","unstructured":"Abpeikar, S., Kasmarik, K., Tran, P.V., Garratt, M., Anavatti, S., Khan, M.M.: Tuning swarm behavior for environmental sensing tasks represented as coverage problems. In: Artificial Intelligence and Data Science in Environmental Sensing, pp. 155\u2013178. Elsevier (2022)","DOI":"10.1016\/B978-0-323-90508-4.00001-0"},{"key":"17_CR2","volume-title":"Swarm Intelligence: Concepts, Models and Applications","author":"H Ahmed","year":"2012","unstructured":"Ahmed, H., Glasgow, J.: Swarm Intelligence: Concepts, Models and Applications. Queens University Technical Report, School Of Computing (2012)"},{"key":"17_CR3","doi-asserted-by":"publisher","unstructured":"Andersson, H., Britton, T.: Stochastic epidemic models and their statistical analysis, vol.\u00a0151. Springer Science and Business Media (2012). https:\/\/doi.org\/10.1007\/978-1-4612-1158-7","DOI":"10.1007\/978-1-4612-1158-7"},{"key":"17_CR4","unstructured":"Arcelli, D., Cortellessa, V., Trubiani, C.: Experimenting the influence of numerical thresholds on model-based detection and refactoring of performance antipatterns. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 59 (2013)"},{"key":"17_CR5","doi-asserted-by":"crossref","unstructured":"Basile, D., ter Beek, M.H., Ciancia, V.: An experimental toolchain for strategy synthesis with spatial properties. In: Proceedings of the International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA), vol. 13703, pp. 142\u2013164 (2022)","DOI":"10.1007\/978-3-031-19759-8_10"},{"issue":"13","key":"17_CR6","doi-asserted-by":"publisher","first-page":"4786","DOI":"10.1073\/pnas.1118633109","volume":"109","author":"W Bialek","year":"2012","unstructured":"Bialek, W., et al.: Statistical mechanics for natural flocks of birds. Proc. Natl. Acad. Sci. 109(13), 4786\u20134791 (2012)","journal-title":"Proc. Natl. Acad. Sci."},{"key":"17_CR7","doi-asserted-by":"crossref","unstructured":"Bolch, G., Greiner, S., De\u00a0Meer, H., Trivedi, K.S.: Queueing networks and Markov chains: modeling and performance evaluation with computer science applications. John Wiley and Sons (2006)","DOI":"10.1002\/0471791571"},{"key":"17_CR8","doi-asserted-by":"crossref","unstructured":"Brandst\u00e4tter, A., Smolka, S.A., Stoller, S.D., Tiwari, A., Grosu, R.: Towards drone flocking using relative distance measurements. In: Proceedings of the International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA), vol. 13703, pp. 97\u2013109 (2022)","DOI":"10.1007\/978-3-031-19759-8_7"},{"key":"17_CR9","doi-asserted-by":"crossref","unstructured":"Cairoli, F., Paoletti, N., Bortolussi, L.: Neural predictive monitoring for collective adaptive systems. In: Proceedings of the International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA), vol. 13703, pp. 30\u201346 (2022)","DOI":"10.1007\/978-3-031-19759-8_3"},{"issue":"5","key":"17_CR10","doi-asserted-by":"publisher","first-page":"1238","DOI":"10.1109\/TAC.2010.2042355","volume":"55","author":"F Cucker","year":"2010","unstructured":"Cucker, F., Dong, J.G.: Avoiding collisions in flocks. IEEE Trans. Autom. Control 55(5), 1238\u20131243 (2010)","journal-title":"IEEE Trans. Autom. Control"},{"key":"17_CR11","doi-asserted-by":"publisher","first-page":"82","DOI":"10.1007\/978-3-031-19759-8_6","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22\u201330, 2022, Proceedings, Part III","author":"R De Nicola","year":"2022","unstructured":"De Nicola, R., Di Stefano, L., Inverso, O., Valiani, S.: Modelling flocks of\u00a0birds from\u00a0the\u00a0bottom up. In: Margaria, T., Steffen, B. (eds.) Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22\u201330, 2022, Proceedings, Part III, pp. 82\u201396. Springer Nature Switzerland, Cham (2022). https:\/\/doi.org\/10.1007\/978-3-031-19759-8_6"},{"issue":"3","key":"17_CR12","doi-asserted-by":"publisher","first-page":"1","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. (TOSEM) 31(3), 1\u201341 (2022)","journal-title":"ACM Trans. Softw. Eng. Methodol. (TOSEM)"},{"key":"17_CR13","doi-asserted-by":"crossref","unstructured":"Fettke, P., Reisig, W.: Discrete models of continuous behavior of collective adaptive systems. In: Proceedings of the International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA), vol. 13703, pp. 65\u201381 (2022)","DOI":"10.1007\/978-3-031-19759-8_5"},{"key":"17_CR14","doi-asserted-by":"crossref","unstructured":"Incerto, E., Napolitano, A., Tribastone, M.: Moving horizon estimation of service demands in queuing networks. In: Proceedings of the International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems (MASCOTS), pp. 348\u2013354 (2018)","DOI":"10.1109\/MASCOTS.2018.00040"},{"key":"17_CR15","doi-asserted-by":"crossref","unstructured":"Incerto, E., Napolitano, A., Tribastone, M.: Learning queuing networks via linear optimization. In: Proceedings of the ACM\/SPEC International Conference on Performance Engineering, pp. 51\u201360 (2021)","DOI":"10.1145\/3427921.3450245"},{"key":"17_CR16","doi-asserted-by":"crossref","unstructured":"Incerto, E., Tribastone, M., Trubiani, C.: A proactive approach for runtime self-adaptation based on queueing network fluid analysis. In: Proceedings of the International Workshop on Quality-Aware DevOps, pp. 19\u201324 (2015)","DOI":"10.1145\/2804371.2804375"},{"issue":"1","key":"17_CR17","doi-asserted-by":"publisher","first-page":"1","DOI":"10.2307\/3212273","volume":"6","author":"JF Kingman","year":"1969","unstructured":"Kingman, J.F.: Markov population processes. J. Appl. Probab. 6(1), 1\u201318 (1969)","journal-title":"J. Appl. Probab."},{"issue":"1","key":"17_CR18","doi-asserted-by":"publisher","first-page":"49","DOI":"10.2307\/3212147","volume":"7","author":"TG Kurtz","year":"1970","unstructured":"Kurtz, T.G.: Solutions of ordinary differential equations as limits of pure jump Markov processes. J. Appl. Probab. 7(1), 49\u201358 (1970)","journal-title":"J. Appl. Probab."},{"key":"17_CR19","doi-asserted-by":"crossref","unstructured":"Lion, B., Arbab, F., Talcott, C.L.: A rewriting framework for interacting cyber-physical agents. In: Proceedings of the International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA), vol. 13703, pp. 356\u2013372 (2022)","DOI":"10.1007\/978-3-031-19759-8_22"},{"key":"17_CR20","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-030-45231-5_1","volume-title":"Foundations of Software Science and Computation Structures: 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25\u201330, 2020, Proceedings","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: Goubault-Larrecq, J., K\u00f6nig, B. (eds.) Foundations of Software Science and Computation Structures: 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25\u201330, 2020, Proceedings, pp. 1\u201316. Springer International Publishing, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-45231-5_1"},{"key":"17_CR21","doi-asserted-by":"crossref","unstructured":"Monica, S., Bergenti, F., Zambonelli, F.: Toward a kinetic framework to model the collective dynamics of multi-agent systems. In: Proceedings of the International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA), vol. 13703, pp. 165\u2013180 (2022)","DOI":"10.1007\/978-3-031-19759-8_11"},{"issue":"1","key":"17_CR22","doi-asserted-by":"publisher","first-page":"46447","DOI":"10.1038\/srep46447","volume":"7","author":"H Murakami","year":"2017","unstructured":"Murakami, H., Niizato, T., Gunji, Y.P.: Emergence of a coherent and cohesive swarm based on mutual anticipation. Sci. Rep. 7(1), 46447 (2017)","journal-title":"Sci. Rep."},{"issue":"1","key":"17_CR23","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1006\/jtbi.2001.2328","volume":"211","author":"I N\u00e5sell","year":"2001","unstructured":"N\u00e5sell, I.: Extinction and quasi-stationarity in the Verhulst logistic model. J. Theor. Biol. 211(1), 11\u201327 (2001)","journal-title":"J. Theor. Biol."},{"issue":"3","key":"17_CR24","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)","journal-title":"IEEE Trans. Autom. Control"},{"key":"17_CR25","doi-asserted-by":"publisher","first-page":"687823","DOI":"10.3389\/fphy.2021.687823","volume":"9","author":"NT Ouellette","year":"2021","unstructured":"Ouellette, N.T., Gordon, D.M.: Goals and limitations of modeling collective behavior in biological systems. Front. Phys. 9, 687823 (2021)","journal-title":"Front. Phys."},{"issue":"11","key":"17_CR26","doi-asserted-by":"publisher","first-page":"4999","DOI":"10.1063\/1.1545446","volume":"118","author":"CV Rao","year":"2003","unstructured":"Rao, C.V., Arkin, A.P.: Stochastic chemical kinetics and the quasi-steady-state assumption: application to the Gillespie algorithm. J. Chem. Phys. 118(11), 4999\u20135010 (2003)","journal-title":"J. Chem. Phys."},{"issue":"189","key":"17_CR27","doi-asserted-by":"publisher","first-page":"20210745","DOI":"10.1098\/rsif.2021.0745","volume":"19","author":"AM Reynolds","year":"2022","unstructured":"Reynolds, A.M., McIvor, G.E., Thornton, A., Yang, P., Ouellette, N.T.: Stochastic modelling of bird flocks: accounting for the cohesiveness of collective motion. J. R. Soc. Interface 19(189), 20210745 (2022)","journal-title":"J. R. Soc. Interface"},{"issue":"4","key":"17_CR28","first-page":"1","volume":"5","author":"V Selvi","year":"2010","unstructured":"Selvi, V., Umarani, R.: Comparative analysis of ant colony and particle swarm optimization techniques. Int. J. Comput. Appl. 5(4), 1\u20136 (2010)","journal-title":"Int. J. Comput. Appl."},{"issue":"1","key":"17_CR29","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)","journal-title":"Int. J. Control"},{"issue":"1465","key":"17_CR30","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1098\/rstb.2005.1733","volume":"361","author":"DJ Sumpter","year":"2006","unstructured":"Sumpter, D.J.: The principles of collective animal behaviour. Philos. Trans. Roy. Soc. B: Biol. Sci. 361(1465), 5\u201322 (2006)","journal-title":"Philos. Trans. Roy. Soc. B: Biol. Sci."},{"issue":"4","key":"17_CR31","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 (1998)","journal-title":"Phys. Rev. E"},{"key":"17_CR32","doi-asserted-by":"crossref","unstructured":"Trubiani, C., Di Marco, A., Cortellessa, V., Mani, N., Petriu, D.C.: Exploring synergies between bottleneck analysis and performance antipatterns. In: International Conference on Performance Engineering (ICPE), pp. 75\u201386. ACM (2014)","DOI":"10.1145\/2568088.2568092"},{"key":"17_CR33","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1016\/j.peva.2016.12.005","volume":"109","author":"M Tschaikowski","year":"2017","unstructured":"Tschaikowski, M., Tribastone, M.: Spatial fluid limits for stochastic mobile networks. Perform. Eval. 109, 52\u201376 (2017)","journal-title":"Perform. Eval."},{"issue":"1","key":"17_CR34","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1146\/annurev-physchem-071119-040123","volume":"71","author":"JP Unsleber","year":"2020","unstructured":"Unsleber, J.P., Reiher, M.: The exploration of chemical reaction networks. Annu. Rev. Phys. Chem. 71(1), 121\u2013142 (2020)","journal-title":"Annu. Rev. Phys. Chem."}],"container-title":["Lecture Notes in Computer Science","Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-73709-1_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T09:06:07Z","timestamp":1729674367000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-73709-1_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,10,9]]},"ISBN":["9783031737084","9783031737091"],"references-count":34,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-73709-1_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2024,10,9]]},"assertion":[{"value":"9 October 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ISoLA","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Symposium on Leveraging Applications of Formal Methods","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Crete","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Greece","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2024","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"27 October 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"31 October 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"12","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"isola2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/isola-conference.org\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}