{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,20]],"date-time":"2026-06-20T06:50:21Z","timestamp":1781938221661,"version":"3.54.5"},"publisher-location":"Cham","reference-count":46,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783032283573","type":"print"},{"value":"9783032283580","type":"electronic"}],"license":[{"start":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T00:00:00Z","timestamp":1767225600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T00:00:00Z","timestamp":1767225600000},"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":[[2026]]},"DOI":"10.1007\/978-3-032-28358-0_13","type":"book-chapter","created":{"date-parts":[[2026,6,20]],"date-time":"2026-06-20T06:00:55Z","timestamp":1781935255000},"page":"263-281","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["High-Fidelity Simulation of\u00a0Aggregate Computing Systems with\u00a0Collektivity"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0009-0009-5786-847X","authenticated-orcid":false,"given":"Filippo","family":"Gurioli","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0001-0799-9166","authenticated-orcid":false,"given":"Martina","family":"Baiardi","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0000-3650-7450","authenticated-orcid":false,"given":"Angela","family":"Cortecchia","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8392-5409","authenticated-orcid":false,"given":"Danilo","family":"Pianini","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2026,6,21]]},"reference":[{"key":"13_CR1","doi-asserted-by":"crossref","unstructured":"Abar, S., Theodoropoulos, G.K., Lemarinier, P., O\u2019Hare, G.M.P.: Agent based modelling and simulation tools: a review of the state-of-art software. Comput. Sci. Rev. 24, 13\u201333 (2017)","DOI":"10.1016\/j.cosrev.2017.03.001"},{"key":"13_CR2","doi-asserted-by":"publisher","unstructured":"Abeywickrama, D.B., et al.: Autonomous robotic swarms: A corroborative approach for verification and validation. In: 2025 IEEE Engineering Reliable Autonomous Systems (ERAS), pp. 1\u20138. IEEE (2025).https:\/\/doi.org\/10.1109\/eras63351.2025.11135547","DOI":"10.1109\/eras63351.2025.11135547"},{"key":"13_CR3","doi-asserted-by":"publisher","unstructured":"Aguzzi, G., et al.: A field-based approach for runtime replanning in swarm robotics missions. In: IEEE International Conference on Autonomic Computing and Self-Organizing Systems, ACSOS 2025, Tokyo, Japan, September 29 - Oct. 3, 2025, pp. 1\u201310. IEEE (2025). https:\/\/doi.org\/10.1109\/ACSOS66086.2025.00017","DOI":"10.1109\/ACSOS66086.2025.00017"},{"key":"13_CR4","doi-asserted-by":"crossref","unstructured":"Aguzzi, G., Casadei, R., Pianini, D., Viroli, M.: Dynamic decentralization domains for the internet of things. IEEE Internet Comput. 26(6), 16\u201323 (2022)","DOI":"10.1109\/MIC.2022.3216753"},{"key":"13_CR5","doi-asserted-by":"publisher","unstructured":"Audrito, G., Torta, G.: FCPP to aggregate them all. Sci. Comput. Program. 231, 103026 (2024). https:\/\/doi.org\/10.1016\/J.SCICO.2023.103026","DOI":"10.1016\/J.SCICO.2023.103026"},{"key":"13_CR6","doi-asserted-by":"publisher","unstructured":"Audrito, G., Viroli, M., Damiani, F., Pianini, D., Beal, J.: A higher-order calculus of computational fields. ACM Trans. Comput. Log. 20(1), 5:1\u20135:55 (2019). https:\/\/doi.org\/10.1145\/3285956","DOI":"10.1145\/3285956"},{"key":"13_CR7","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2015.261","author":"J Beal","year":"2015","unstructured":"Beal, J., Pianini, D., Viroli, M.: Aggregate programming for the internet of things. IEEE Comput. (2015). https:\/\/doi.org\/10.1109\/MC.2015.261","journal-title":"IEEE Comput."},{"key":"13_CR8","doi-asserted-by":"crossref","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)","DOI":"10.1007\/s11721-012-0075-2"},{"key":"13_CR9","doi-asserted-by":"publisher","unstructured":"Bucchiarone, A., Mongiello, M.: Ten years of self-adaptive systems: from dynamic ensembles to collective adaptive systems. In: ter Beek, M.H., Fantechi, A., Semini, L. (eds.) From Software Engineering to Formal Methods and Tools, and Back. LNCS, vol. 11865, pp. 19\u201339. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-30985-5_3","DOI":"10.1007\/978-3-030-30985-5_3"},{"key":"13_CR10","doi-asserted-by":"crossref","unstructured":"Calder\u00f3n-Arce, C., Brenes-Torres, J.C., Solis-Ortega, R.: Swarm robotics: simulators, platforms and applications review. Comput. 10(6), 80 (2022)","DOI":"10.3390\/computation10060080"},{"key":"13_CR11","doi-asserted-by":"publisher","unstructured":"Casadei, R.: MacroProgramming: concepts, state of the art, and opportunities of macroscopic behaviour modelling. ACM Comput. Surv. 55(13s), 275:1\u2013275:37 (2023). https:\/\/doi.org\/10.1145\/3579353","DOI":"10.1145\/3579353"},{"key":"13_CR12","doi-asserted-by":"crossref","unstructured":"Casadei, R., Viroli, M., Aguzzi, G., Pianini, D.: Scafi: A scala DSL and toolkit for aggregate programming. SoftwareX 20, 101248 (2022)","DOI":"10.1016\/j.softx.2022.101248"},{"key":"13_CR13","doi-asserted-by":"crossref","unstructured":"Coronado, E., Itadera, S., Ramirez-Alpizar, I.G.: Integrating virtual, mixed, and augmented reality to human\u2013robot interaction applications using game engines: a brief review of accessible software tools and frameworks. Appl. Sci. 13(3), 1292 (2023)","DOI":"10.3390\/app13031292"},{"key":"13_CR14","doi-asserted-by":"publisher","unstructured":"Cortecchia, A.: Multiplatform self-organizing systems through a Kotlin-MP implementation of aggregate computing. In: IEEE International Conference on Autonomic Computing and Self-Organizing Systems, ACSOS 2024 - Companion, Aarhus, Denmark, September 16-20, 2024, pp. 155\u2013157. IEEE (2024). https:\/\/doi.org\/10.1109\/ACSOS-C63493.2024.00048","DOI":"10.1109\/ACSOS-C63493.2024.00048"},{"key":"13_CR15","doi-asserted-by":"publisher","unstructured":"Diamanti, M., Vilhj\u00e1lmsson, H.H.: Extending the Menge crowd simulation framework: visual authoring in unity. In: Intelligent Virtual Agents. Association for Computing Machinery (2022). https:\/\/doi.org\/10.1145\/3514197.3549698","DOI":"10.1145\/3514197.3549698"},{"key":"13_CR16","doi-asserted-by":"crossref","unstructured":"Dixon, C., Winfield, A.F.T., Fisher, M., Zeng, C.: Towards temporal verification of swarm robotic systems. Robotics Auton. Syst. 60(11), 1429\u20131441 (2012)","DOI":"10.1016\/j.robot.2012.03.003"},{"key":"13_CR17","doi-asserted-by":"publisher","unstructured":"Farley, A., Wang, J., Marshall, J.A.: How to pick a mobile robot simulator: A quantitative comparison of coppeliasim, gazebo, MORSE and webots with a focus on accuracy of motion. Simul. Model. Pract. Theory 120, 102629 (2022). https:\/\/doi.org\/10.1016\/J.SIMPAT.2022.102629","DOI":"10.1016\/J.SIMPAT.2022.102629"},{"key":"13_CR18","doi-asserted-by":"publisher","unstructured":"Giudice, N.D., Cruciani, F.M., Loreti, M.: Visualisation of collective systems with sequit and sibilla. In: Castellani, I., Tiezzi, F. (eds.) Coordination Models and Languages - COORDINATION 2024, vol. 14676, pp. 277\u2013294. Springer (2024). https:\/\/doi.org\/10.1007\/978-3-031-62697-5_15","DOI":"10.1007\/978-3-031-62697-5_15"},{"key":"13_CR19","doi-asserted-by":"publisher","unstructured":"Gomes, C., Thule, C., Broman, D., Larsen, P.G., Vangheluwe, H.: Co-simulation: a survey. ACM Comput. Surv. 51(3), 49:1\u201349:33 (2018). https:\/\/doi.org\/10.1145\/3179993","DOI":"10.1145\/3179993"},{"key":"13_CR20","doi-asserted-by":"publisher","unstructured":"Gurioli, F., Baiardi, M., Cortecchia, A., Pianini, D.: pslab-unibo\/collektivity: Release 1.1.1 (2026). https:\/\/doi.org\/10.5281\/ZENODO.18761590","DOI":"10.5281\/ZENODO.18761590"},{"key":"13_CR21","doi-asserted-by":"publisher","unstructured":"Gurioli, F., Baiardi, M., Cortecchia, A., Pianini, D.: pslab-unibo\/experiment-2026-coordination-collektive-unity-benchmark: Release 1.0.0 (2026). https:\/\/doi.org\/10.5281\/ZENODO.18717594","DOI":"10.5281\/ZENODO.18717594"},{"key":"13_CR22","doi-asserted-by":"publisher","unstructured":"Ingelrest, F., Barrenetxea, G., Schaefer, G., Vetterli, M., Couach, O., Parlange, M.: SensorScope: application-specific sensor network for environmental monitoring. ACM Trans. Sens. Networks 6(2), 17:1\u201317:32 (2010). https:\/\/doi.org\/10.1145\/1689239.1689247","DOI":"10.1145\/1689239.1689247"},{"key":"13_CR23","doi-asserted-by":"crossref","unstructured":"Ju, H., Juan, R., Gomez, R., Nakamura, K., Li, G.: Transferring policy of deep reinforcement learning from simulation to reality for robotics. Nat. Mac. Intell. 4(12), 1077\u20131087 (2022)","DOI":"10.1038\/s42256-022-00573-6"},{"key":"13_CR24","doi-asserted-by":"publisher","unstructured":"Koenig, N.P., Howard, A.: Design and use paradigms for gazebo, an open-source multi-robot simulator. In: 2004 IEEE\/RSJ International Conference on Intelligent Robots and Systems, Sendai, Japan, September 28 - October 2, 2004, pp. 2149\u20132154. IEEE (2004). https:\/\/doi.org\/10.1109\/IROS.2004.1389727","DOI":"10.1109\/IROS.2004.1389727"},{"key":"13_CR25","doi-asserted-by":"crossref","unstructured":"Konur, S., Dixon, C., Fisher, M.: Analysing robot swarm behaviour via probabilistic model checking. Robotics Auton. Syst. 60(2), 199\u2013213 (2012)","DOI":"10.1016\/j.robot.2011.10.005"},{"key":"13_CR26","doi-asserted-by":"crossref","unstructured":"Luke, S., Cioffi-Revilla, C., Panait, L., Sullivan, K., Balan, G.C.: MASON: a multiagent simulation environment. Simul. 81(7), 517\u2013527 (2005)","DOI":"10.1177\/0037549705058073"},{"key":"13_CR27","doi-asserted-by":"publisher","unstructured":"Mainwaring, A.M., Culler, D.E., Polastre, J., Szewczyk, R., Anderson, J.: Wireless sensor networks for habitat monitoring. In: Raghavendra, C.S., Sivalingam, K.M. (eds.) Proceedings of the First ACM International Workshop on Wireless Sensor Networks and Applications, WSNA 2002, Atlanta, Georgia, USA, September 28, 2002, pp. 88\u201397. ACM (2002). https:\/\/doi.org\/10.1145\/570738.570751","DOI":"10.1145\/570738.570751"},{"key":"13_CR28","doi-asserted-by":"publisher","unstructured":"Mittal, S., Risco-Mart\u00edn, J.L.: Simulation-based complex adaptive systems, pp. 127\u2013150. Springer International Publishing (2017).https:\/\/doi.org\/10.1007\/978-3-319-61264-5_6","DOI":"10.1007\/978-3-319-61264-5_6"},{"key":"13_CR29","doi-asserted-by":"crossref","unstructured":"Nguyen, L.K.N., Howick, S., Megiddo, I.: A framework for conceptualising hybrid system dynamics and agent-based simulation models. Eur. J. Oper. Res. 315(3), 1153\u20131166 (2024)","DOI":"10.1016\/j.ejor.2024.01.027"},{"key":"13_CR30","doi-asserted-by":"publisher","unstructured":"North, M.J., et al.: Complex adaptive systems modeling with repast simphony. Complex Adapt. Syst. Model. 1(1) (2013). https:\/\/doi.org\/10.1186\/2194-3206-1-3","DOI":"10.1186\/2194-3206-1-3"},{"key":"13_CR31","doi-asserted-by":"crossref","unstructured":"Pianini, D., Montagna, S., Viroli, M.: Chemical-oriented simulation of computational systems with ALCHEMIST. J. Simulation 7(3), 202\u2013215 (2013)","DOI":"10.1057\/jos.2012.27"},{"key":"13_CR32","doi-asserted-by":"publisher","unstructured":"Pianini, D., Sebastio, S., Vandin, A.: Distributed statistical analysis of complex systems modeled through a chemical metaphor. In: International Conference on High Performance Computing & Simulation, HPCS 2014, Bologna, Italy, 21-25 July, 2014, pp. 416\u2013423. IEEE (2014). https:\/\/doi.org\/10.1109\/HPCSIM.2014.6903715","DOI":"10.1109\/HPCSIM.2014.6903715"},{"key":"13_CR33","doi-asserted-by":"publisher","unstructured":"Pianini, D., Viroli, M., Beal, J.: Protelis: practical aggregate programming. In: Wainwright, R.L., Corchado, J.M., Bechini, A., Hong, J. (eds.) Proceedings of the 30th Annual ACM Symposium on Applied Computing, Salamanca, Spain, April 13-17, 2015, pp. 1846\u20131853. ACM (2015). https:\/\/doi.org\/10.1145\/2695664.2695913","DOI":"10.1145\/2695664.2695913"},{"key":"13_CR34","doi-asserted-by":"crossref","unstructured":"Pinciroli, C., et al.: ARGoS: a modular, parallel, multi-engine simulator for multi-robot systems. Swarm Intell. 6(4), 271\u2013295 (2012)","DOI":"10.1007\/s11721-012-0072-5"},{"key":"13_CR35","doi-asserted-by":"crossref","unstructured":"Platt, J., Ricks, K.: Comparative analysis of ROS-unity3D and ros-gazebo for mobile ground robot simulation. J. Intell. Robotic Syst. 106(4), 80 (2022)","DOI":"10.1007\/s10846-022-01766-2"},{"key":"13_CR36","doi-asserted-by":"crossref","unstructured":"Sargent, R.G.: Verification and validation of simulation models. J. Simulation 7(1), 12\u201324 (2013)","DOI":"10.1057\/jos.2012.20"},{"key":"13_CR37","doi-asserted-by":"crossref","unstructured":"Schut, M.C.: On model design for simulation of collective intelligence. Inf. Sci. 180(1), 132\u2013155 (2010)","DOI":"10.1016\/j.ins.2009.08.006"},{"key":"13_CR38","doi-asserted-by":"publisher","unstructured":"Sende, M., Raffelsberger, C., Bettstetter, C.: Bridging the reality gap in drone swarm development through mixed reality. Autono. Rob. 48(7) (2024). https:\/\/doi.org\/10.1007\/s10514-024-10169-1","DOI":"10.1007\/s10514-024-10169-1"},{"key":"13_CR39","doi-asserted-by":"publisher","unstructured":"Shah, S., Dey, D., Lovett, C., Kapoor, A.: AirSim: high-fidelity visual and physical simulation for autonomous vehicles. In: Hutter, M., Siegwart, R. (eds.) Field and Service Robotics, Results of the 11th International Conference, FSR 2017, Zurich, Switzerland, 12-15 September 2017. Springer Proceedings in Advanced Robotics, vol.\u00a05, pp. 621\u2013635. Springer (2017). https:\/\/doi.org\/10.1007\/978-3-319-67361-5_40","DOI":"10.1007\/978-3-319-67361-5_40"},{"key":"13_CR40","doi-asserted-by":"crossref","unstructured":"Singh, M., et al.: Comparative study of digital twin developed in unity and gazebo. Electronics 14(2), 276 (2025)","DOI":"10.3390\/electronics14020276"},{"key":"13_CR41","doi-asserted-by":"publisher","unstructured":"Viroli, M., Audrito, G., Beal, J., Damiani, F., Pianini, D.: Engineering resilient collective adaptive systems by self-stabilisation. ACM Trans. Model. Comput. Simul. 28(2), 16:1\u201316:28 (2018). https:\/\/doi.org\/10.1145\/3177774","DOI":"10.1145\/3177774"},{"key":"13_CR42","doi-asserted-by":"publisher","unstructured":"Viroli, M., Beal, J., Damiani, F., Audrito, G., Casadei, R., Pianini, D.: From distributed coordination to field calculus and aggregate computing. J. Log. Algebraic Meth. Program. 109 (2019). https:\/\/doi.org\/10.1016\/J.JLAMP.2019.100486","DOI":"10.1016\/J.JLAMP.2019.100486"},{"key":"13_CR43","doi-asserted-by":"crossref","unstructured":"Werfel, J., Petersen, K., Nagpal, R.: Designing collective behavior in a termite-inspired robot construction team. Science 343(6172), 754\u2013758 (2014)","DOI":"10.1126\/science.1245842"},{"key":"13_CR44","doi-asserted-by":"crossref","unstructured":"Wijaya, G.D., Caesarendra, W., Petra, M.I., Kr\u00f3lczyk, G., Glowacz, A.: Comparative study of gazebo and unity 3D in performing a virtual pick and place of universal robot UR3 for assembly process in manufacturing. Simul. Model. Pract. Theory 132, 102895 (2024)","DOI":"10.1016\/j.simpat.2024.102895"},{"key":"13_CR45","doi-asserted-by":"publisher","unstructured":"Wolf, P., Groll, T., Hemer, S., Berns, K.: Evolution of robotic simulators: using UE 4 to enable real-world quality testing of complex autonomous robots in unstructured environments. In: Proceedings of the 10th International Conference on Simulation and Modeling Methodologies, Technologies and Applications, pp. 271\u2013278. SCITEPRESS - Science and Technology Publications (2020). https:\/\/doi.org\/10.5220\/0009911502710278","DOI":"10.5220\/0009911502710278"},{"key":"13_CR46","doi-asserted-by":"publisher","unstructured":"Zhou, X., et al.: Swarm of micro flying robots in the wild. Sci. Robotics 7(66) (2022). https:\/\/doi.org\/10.1126\/SCIROBOTICS.ABM5954","DOI":"10.1126\/SCIROBOTICS.ABM5954"}],"container-title":["Lecture Notes in Computer Science","Coordination Models and Languages"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-032-28358-0_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,6,20]],"date-time":"2026-06-20T06:01:00Z","timestamp":1781935260000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-28358-0_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026]]},"ISBN":["9783032283573","9783032283580"],"references-count":46,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-28358-0_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026]]},"assertion":[{"value":"21 June 2026","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"COORDINATION","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Coordination Models and Languages","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Urbino","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Italy","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2026","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"8 June 2026","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"12 June 2026","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"28","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"coordination2026","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/www.discotec.org\/2026\/coordination","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}