{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T05:56:55Z","timestamp":1743055015882,"version":"3.40.3"},"publisher-location":"Cham","reference-count":57,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031197581"},{"type":"electronic","value":"9783031197598"}],"license":[{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022]]},"DOI":"10.1007\/978-3-031-19759-8_18","type":"book-chapter","created":{"date-parts":[[2022,10,19]],"date-time":"2022-10-19T09:07:32Z","timestamp":1666170452000},"page":"283-300","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Programming Multi-robot Systems with\u00a0X-KLAIM"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-4481-8096","authenticated-orcid":false,"given":"Lorenzo","family":"Bettini","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Khalid","family":"Bourr","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1419-1405","authenticated-orcid":false,"given":"Rosario","family":"Pugliese","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4740-7521","authenticated-orcid":false,"given":"Francesco","family":"Tiezzi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2022,10,17]]},"reference":[{"issue":"1","key":"18_CR1","first-page":"121","volume":"7","author":"S Adam","year":"2016","unstructured":"Adam, S., Larsen, M., Jensen, K., Schultz, U.P.: Rule-based dynamic safety monitoring for mobile robots. J. Softw. Eng. Rob. 7(1), 121\u2013141 (2016)","journal-title":"J. Softw. Eng. Rob."},{"key":"18_CR2","unstructured":"Adam, S., Schultz, U.P.: Towards interactive, incremental programming of ROS nodes. In: Workshop on Domain-Specific Languages and models for Robotic systems (2014)"},{"key":"18_CR3","first-page":"3","volume":"1","author":"D Alonso","year":"2010","unstructured":"Alonso, D., et al.: V$$^3$$CMM: a 3-view component meta-model for model-driven robotic software development. J. Softw. Eng. Rob. 1, 3\u201317 (2010)","journal-title":"J. Softw. Eng. Rob."},{"issue":"14","key":"18_CR4","doi-asserted-by":"publisher","first-page":"1365","DOI":"10.1002\/spe.486","volume":"32","author":"L Bettini","year":"2002","unstructured":"Bettini, L., De Nicola, R., Pugliese, R.: Klava: a Java package for distributed and mobile applications. Softw. Pract. Exp. 32(14), 1365\u20131394 (2002)","journal-title":"Softw. Pract. Exp."},{"key":"18_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"361","DOI":"10.1007\/978-3-030-61470-6_22","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles","author":"L Bettini","year":"2020","unstructured":"Bettini, L., Bourr, K., Pugliese, R., Tiezzi, F.: Writing robotics applications with X-Klaim. In: Margaria, T., Steffen, B. (eds.) ISoLA 2020. LNCS, vol. 12477, pp. 361\u2013379. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-61470-6_22"},{"key":"18_CR6","doi-asserted-by":"crossref","unstructured":"Bettini, L., Loreti, M., Pugliese, R.: An infrastructure language for open nets. In: SAC, pp. 373\u2013377. ACM (2002)","DOI":"10.1145\/508791.508862"},{"key":"18_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1007\/978-3-030-21485-2_8","volume-title":"Models, Languages, and Tools for Concurrent and Distributed Programming","author":"L Bettini","year":"2019","unstructured":"Bettini, L., Merelli, E., Tiezzi, F.: X-Klaim is back. In: Boreale, M., Corradini, F., Loreti, M., Pugliese, R. (eds.) Models, Languages, and Tools for Concurrent and Distributed Programming. LNCS, vol. 11665, pp. 115\u2013135. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-21485-2_8"},{"key":"18_CR8","series-title":"Studies in Computational Intelligence","doi-asserted-by":"publisher","first-page":"509","DOI":"10.1007\/978-3-319-26054-9_20","volume-title":"Robot Operating System (ROS)","author":"D Brugali","year":"2016","unstructured":"Brugali, D., Gherardi, L.: HyperFlex: a model driven toolchain for\u00a0designing and configuring software control systems for autonomous robots. In: Koubaa, A. (ed.) Robot Operating System (ROS). SCI, vol. 625, pp. 509\u2013534. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-26054-9_20"},{"key":"18_CR9","doi-asserted-by":"crossref","unstructured":"Bruyninckx, H., et al.: The BRICS component model: a model-based development paradigm for complex robotics software systems. In: SAC, pp. 1758\u20131764. ACM (2013)","DOI":"10.1145\/2480362.2480693"},{"key":"18_CR10","unstructured":"Bubeck, A., et al.: BRIDE - a toolchain for framework-independent development of industrial service robot applications. In: ISR, pp. 137\u2013142. VDE (2014)"},{"key":"18_CR11","doi-asserted-by":"publisher","unstructured":"Casalaro, G.L.: Model-driven engineering for mobile robotic systems: a systematic mapping study. Softw. Syst. Model. (2021). https:\/\/doi.org\/10.1007\/s10270-021-00908-8","DOI":"10.1007\/s10270-021-00908-8"},{"key":"18_CR12","doi-asserted-by":"publisher","first-page":"6451","DOI":"10.1109\/ACCESS.2016.2613642","volume":"4","author":"F Ciccozzi","year":"2016","unstructured":"Ciccozzi, F., et al.: Adopting MDE for specifying and executing civilian missions of mobile multi-robot systems. IEEE Access 4, 6451\u20136466 (2016)","journal-title":"IEEE Access"},{"key":"18_CR13","doi-asserted-by":"crossref","unstructured":"de Ara\u00fajo Silva, E., Valentin, E., Carvalho, J.R.H., da Silva Barreto, R.: A survey of model driven engineering in robotics. Comput. Lang. 62, 101021 (2021)","DOI":"10.1016\/j.cola.2020.101021"},{"key":"18_CR14","doi-asserted-by":"publisher","first-page":"94","DOI":"10.3389\/frobt.2018.00094","volume":"5","author":"R De Nicola","year":"2018","unstructured":"De Nicola, R., Di Stefano, L., Inverso, O.: Toward formal models and languages for verifiable multi-robot systems. Front. Rob. AI 5, 94 (2018)","journal-title":"Front. Rob. AI"},{"issue":"5","key":"18_CR15","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.: KLAIM: a kernel language for agents interaction and mobility. IEEE Trans. Softw. Eng. 24(5), 315\u2013330 (1998)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"1","key":"18_CR16","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1016\/S0304-3975(99)00232-7","volume":"240","author":"R De Nicola","year":"2000","unstructured":"De Nicola, R., Ferrari, G.L., Pugliese, R., Venneri, B.: Types for access control. Theor. Comput. Sci. 240(1), 215\u2013254 (2000)","journal-title":"Theor. Comput. Sci."},{"issue":"1","key":"18_CR17","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1016\/j.scico.2005.07.013","volume":"63","author":"R De Nicola","year":"2006","unstructured":"De Nicola, R., Gorla, D., Pugliese, R.: Confining data and processes in global computing applications. Sci. Comput. Program. 63(1), 57\u201387 (2006)","journal-title":"Sci. Comput. Program."},{"issue":"10","key":"18_CR18","doi-asserted-by":"publisher","first-page":"1491","DOI":"10.1016\/j.ic.2007.03.004","volume":"205","author":"R De Nicola","year":"2007","unstructured":"De Nicola, R., Gorla, D., Pugliese, R.: Basic observables for a calculus for global computing. Inf. Comput. 205(10), 1491\u20131525 (2007)","journal-title":"Inf. Comput."},{"issue":"1","key":"18_CR19","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1016\/j.tcs.2007.05.008","volume":"382","author":"R De Nicola","year":"2007","unstructured":"De Nicola, R., Katoen, J., Latella, D., Loreti, M., Massink, M.: Model checking mobile stochastic logic. Theor. Comput. Sci. 382(1), 42\u201370 (2007)","journal-title":"Theor. Comput. Sci."},{"issue":"1","key":"18_CR20","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1145\/963927.963930","volume":"5","author":"R De Nicola","year":"2004","unstructured":"De Nicola, R., Loreti, M.: A modal logic for mobile agents. ACM Trans. Comput. Log. 5(1), 79\u2013128 (2004)","journal-title":"ACM Trans. Comput. Log."},{"issue":"2","key":"18_CR21","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/2619998","volume":"9","author":"R De Nicola","year":"2014","unstructured":"De Nicola, R., Loreti, M., Pugliese, R., Tiezzi, F.: A formal approach to autonomic systems programming: the SCEL language. ACM Trans. Auton. Adapt. Syst. 9(2), 1\u201329 (2014)","journal-title":"ACM Trans. Auton. Adapt. Syst."},{"issue":"6","key":"18_CR22","doi-asserted-by":"publisher","first-page":"376","DOI":"10.1016\/j.scico.2009.07.009","volume":"75","author":"R De Nicola","year":"2010","unstructured":"De Nicola, R., et al.: From flow logic to static type systems for coordination languages. Sci. Comput. Program. 75(6), 376\u2013397 (2010)","journal-title":"Sci. Comput. Program."},{"key":"18_CR23","doi-asserted-by":"crossref","unstructured":"Desai, A., Saha, I., Yang, J., Qadeer, S., Seshia, S.A.: Drona: a framework for safe distributed mobile robotics. In: 8th Internnational Conference on Cyber-Physical Systems, pp. 239\u2013248 (2017)","DOI":"10.1145\/3055004.3055022"},{"key":"18_CR24","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1007\/978-3-642-34327-8_16","volume-title":"Simulation, Modeling, and Programming for Autonomous Robots","author":"S Dhouib","year":"2012","unstructured":"Dhouib, S., Kchir, S., Stinckwich, S., Ziadi, T., Ziane, M.: RobotML, a domain-specific language to design, simulate and deploy robotic applications. In: Noda, I., Ando, N., Brugali, D., Kuffner, J.J. (eds.) SIMPAR 2012. LNCS (LNAI), vol. 7628, pp. 149\u2013160. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-34327-8_16"},{"key":"18_CR25","doi-asserted-by":"crossref","unstructured":"Doriya, R., Mishra, S., Gupta, S.: A brief survey and analysis of multi-robot communication and coordination. In: International Conference on Computing, Communication, Automation, pp. 1014\u20131021 (2015)","DOI":"10.1109\/CCAA.2015.7148524"},{"key":"18_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1007\/978-3-319-65948-0_4","volume-title":"Software Engineering for Resilient Systems","author":"S Dragule","year":"2017","unstructured":"Dragule, S., Meyers, B., Pelliccione, P.: A generated property specification language for resilient multirobot missions. In: Romanovsky, A., Troubitsyna, E.A. (eds.) SERENE 2017. LNCS, vol. 10479, pp. 45\u201361. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-65948-0_4"},{"key":"18_CR27","doi-asserted-by":"publisher","first-page":"24","DOI":"10.1016\/j.scico.2014.10.001","volume":"99","author":"J Eckhardt","year":"2015","unstructured":"Eckhardt, J., M\u00fchlbauer, T., Meseguer, J., Wirsing, M.: Semantics, distributed implementation, and formal analysis of KLAIM models in Maude. Sci. Comput. Program. 99, 24\u201374 (2015)","journal-title":"Sci. Comput. Program."},{"issue":"1\u20134","key":"18_CR28","doi-asserted-by":"publisher","first-page":"1195","DOI":"10.1007\/s00170-018-1976-z","volume":"97","author":"E Est\u00e9vez","year":"2018","unstructured":"Est\u00e9vez, E., et al.: ART2ool: a model-driven framework to generate target code for robot handling tasks. Adv. Manuf. Technol. 97(1\u20134), 1195\u20131207 (2018)","journal-title":"Adv. Manuf. Technol."},{"issue":"5","key":"18_CR29","doi-asserted-by":"publisher","first-page":"2015","DOI":"10.1109\/TSMCB.2004.832155","volume":"34","author":"A Farinelli","year":"2004","unstructured":"Farinelli, A., Iocchi, L., Nardi, D.: Multirobot systems: a classification focused on coordination. IEEE Trans. Syst. Man Cybern. Part B (Cybern.) 34(5), 2015\u20132028 (2004)","journal-title":"IEEE Trans. Syst. Man Cybern. Part B (Cybern.)"},{"key":"18_CR30","doi-asserted-by":"publisher","first-page":"71617","DOI":"10.1109\/ACCESS.2020.2987099","volume":"8","author":"M Figat","year":"2020","unstructured":"Figat, M., Zieli\u0144ski, C.: Robotic system specification methodology based on hierarchical Petri nets. IEEE Access 8, 71617\u201371627 (2020)","journal-title":"IEEE Access"},{"key":"18_CR31","unstructured":"Frigerio, M., Buchli, J., Caldwell, D.G.: A domain specific language for kinematic models and fast implementations of robot dynamics algorithms. In: Proceedings of DSLRob 2011. CoRR, vol. abs\/1301.7190 (2013)"},{"key":"18_CR32","doi-asserted-by":"crossref","unstructured":"Garc\u00eda, S., et al.: High-level mission specification for multiple robots. In: 12th ACM SIGPLAN International Conference on Software Language Engineering, p. 127\u2013140 (2019)","DOI":"10.1145\/3357766.3359535"},{"issue":"1","key":"18_CR33","doi-asserted-by":"publisher","first-page":"80","DOI":"10.1145\/2363.2433","volume":"7","author":"D Gelernter","year":"1985","unstructured":"Gelernter, D.: Generative communication in linda. ACM Trans. Program. Lang. Syst. 7(1), 80\u2013112 (1985)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"18_CR34","doi-asserted-by":"crossref","unstructured":"Ghosh, R., et al.: Koord: a language for programming and verifying distributed robotics application. Proc. ACM Program. Lang. 4(OOPSLA), 1\u201330 (2020)","DOI":"10.1145\/3428300"},{"key":"18_CR35","doi-asserted-by":"crossref","unstructured":"Gjondrekaj, E., Loreti, M., Pugliese, R., Tiezzi, F.: Modeling adaptation with a tuple-based coordination language. In: SAC 2012, pp. 1522\u20131527. ACM (2012)","DOI":"10.1145\/2245276.2232019"},{"key":"18_CR36","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"54","DOI":"10.1007\/978-3-642-34281-3_7","volume-title":"Formal Methods and Software Engineering","author":"E Gjondrekaj","year":"2012","unstructured":"Gjondrekaj, E., et al.: Towards a formal verification methodology for collective robotic systems. In: Aoki, T., Taguchi, K. (eds.) ICFEM 2012. LNCS, vol. 7635, pp. 54\u201370. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-34281-3_7"},{"key":"18_CR37","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"86","DOI":"10.1007\/978-3-540-39881-3_10","volume-title":"Security in Pervasive Computing","author":"D Gorla","year":"2004","unstructured":"Gorla, D., Pugliese, R.: Enforcing security policies via types. In: Hutter, D., M\u00fcller, G., Stephan, W., Ullmann, M. (eds.) Security in Pervasive Computing. LNCS, vol. 2802, pp. 86\u2013100. Springer, Heidelberg (2004). https:\/\/doi.org\/10.1007\/978-3-540-39881-3_10"},{"key":"18_CR38","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1007\/3-540-45061-0_11","volume-title":"Automata, Languages and Programming","author":"D Gorla","year":"2003","unstructured":"Gorla, D., Pugliese, R.: Resource access and mobility control with dynamic privileges acquisition. In: Baeten, J.C.M., Lenstra, J.K., Parrow, J., Woeginger, G.J. (eds.) ICALP 2003. LNCS, vol. 2719, pp. 119\u2013132. Springer, Heidelberg (2003). https:\/\/doi.org\/10.1007\/3-540-45061-0_11"},{"key":"18_CR39","doi-asserted-by":"crossref","unstructured":"Harbin, J., et al.: Model-driven simulation-based analysis for multi-robot systems. In: 24th International Conference on Model Driven Engineering Languages and Systems (MODELS) (2021)","DOI":"10.1109\/MODELS50736.2021.00040"},{"issue":"2","key":"18_CR40","doi-asserted-by":"publisher","first-page":"674","DOI":"10.1109\/TR.2019.2923681","volume":"69","author":"C Hu","year":"2019","unstructured":"Hu, C., Dong, W., Yang, Y., Shi, H., Zhou, G.: Runtime verification on hierarchical properties of ROS-based robot swarms. IEEE Trans. Reliabil. 69(2), 674\u2013689 (2019)","journal-title":"IEEE Trans. Reliabil."},{"key":"18_CR41","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"247","DOI":"10.1007\/978-3-319-11164-3_20","volume-title":"Runtime Verification","author":"J Huang","year":"2014","unstructured":"Huang, J., Erdogan, C., Zhang, Y., Moore, B., Luo, Q., Sundaresan, A., Rosu, G.: ROSRV: runtime verification for robots. In: Bonakdarpour, B., Smolka, S.A. (eds.) RV 2014. LNCS, vol. 8734, pp. 247\u2013254. Springer, Cham (2014). https:\/\/doi.org\/10.1007\/978-3-319-11164-3_20"},{"key":"18_CR42","doi-asserted-by":"crossref","unstructured":"Koenig, N.P., Howard, A.: Design and use paradigms for Gazebo, an open-source multi-robot simulator. In: IROS, pp. 2149\u20132154. IEEE (2004)","DOI":"10.1109\/IROS.2004.1389727"},{"key":"18_CR43","doi-asserted-by":"crossref","unstructured":"Kumar, P., et al.: Rosmod: a toolsuite for modeling, generating, deploying, and managing distributed real-time component-based software using ros. In: International Symposium on Rapid System Prototyping (RSP) (2015)","DOI":"10.1109\/RSP.2015.7416545"},{"issue":"1","key":"18_CR44","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. Transfer 19(1), 9\u201330 (2017)","journal-title":"Softw. Tools Technol. Transfer"},{"key":"18_CR45","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/3342355","volume":"52","author":"M Luckcuck","year":"2020","unstructured":"Luckcuck, M., Farrell, M., Dennis, L.A., Dixon, C., Fisher, M.: Formal specification and verification of autonomous robotic systems. ACM Comput. Surv. 52, 1\u201341 (2020)","journal-title":"ACM Comput. Surv."},{"key":"18_CR46","doi-asserted-by":"crossref","unstructured":"Majumdar, R., Yoshida, N., Zufferey, D.: Multiparty motion coordination: from choreographies to robotics programs. Proc. ACM Program. Lang. 4(OOPSLA), 134:1\u2013134:30 (2020)","DOI":"10.1145\/3428202"},{"key":"18_CR47","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"248","DOI":"10.1007\/978-3-319-17524-9_18","volume-title":"NASA Formal Methods","author":"W Meng","year":"2015","unstructured":"Meng, W., Park, J., Sokolsky, O., Weirich, S., Lee, I.: Verified ROS-based deployment of platform-independent control systems. In: Havelund, K., Holzmann, G., Joshi, R. (eds.) NFM 2015. LNCS, vol. 9058, pp. 248\u2013262. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-17524-9_18"},{"issue":"5","key":"18_CR48","doi-asserted-by":"publisher","first-page":"3097","DOI":"10.1007\/s10270-018-00710-z","volume":"18","author":"A Miyazawa","year":"2019","unstructured":"Miyazawa, A., et al.: RoboChart: modelling and verification of the functional behaviour of robotic applications. Softw. Syst. Model. 18(5), 3097\u20133149 (2019)","journal-title":"Softw. Syst. Model."},{"key":"18_CR49","first-page":"75","volume":"7","author":"A Nordmann","year":"2016","unstructured":"Nordmann, A., Hochgeschwender, N., Wigand, D., Wrede, S.: A survey on domain-specific modeling and languages in robotics. Softw. Eng. Rob. 7, 75\u201399 (2016)","journal-title":"Softw. Eng. Rob."},{"key":"18_CR50","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"195","DOI":"10.1007\/978-3-319-11900-7_17","volume-title":"Simulation, Modeling, and Programming for Autonomous Robots","author":"A Nordmann","year":"2014","unstructured":"Nordmann, A., Hochgeschwender, N., Wrede, S.: A survey on domain-specific languages in robotics. In: Brugali, D., Broenink, J.F., Kroeger, T., MacDonald, B.A. (eds.) SIMPAR 2014. LNCS (LNAI), vol. 8810, pp. 195\u2013206. Springer, Cham (2014). https:\/\/doi.org\/10.1007\/978-3-319-11900-7_17"},{"issue":"9","key":"18_CR51","volume":"2","author":"C Pinciroli","year":"2016","unstructured":"Pinciroli, C., Lee-Brown, A., Beltrame, G.: A tuple space for data sharing in robot swarms. EAI Endorsed Trans. Collab. Comput. 2(9), e2 (2016)","journal-title":"EAI Endorsed Trans. Collab. Comput."},{"key":"18_CR52","unstructured":"Quigley, M., et al.: Ros: an open-source robot operating system. In: ICRA Workshop on Open Source Software (2009)"},{"key":"18_CR53","doi-asserted-by":"crossref","unstructured":"Ramaswamy, A., Monsuez, B., Tapus, A.: SafeRobots: a model-driven approach for designing robotic software architectures. In: Proceedings of CTS, pp. 131\u2013134. IEEE (2014)","DOI":"10.1109\/CTS.2014.6867554"},{"key":"18_CR54","unstructured":"Rutle, A., Backer, J., Fold\u00f8y, K., Bye, R.T.: CommonLang: a DSL for defining robot tasks. In: Proceedings of MODELS18 Workshops. CEUR Workshop Proceedings, vol. 2245, pp. 433\u2013442 (2018)"},{"key":"18_CR55","unstructured":"St-Onge, D., Varadharajan, V.S., Li, G., Svogor, I., Beltrame, G.: ROS and Buzz: consensus-based behaviors for heterogeneous teams. CoRR abs\/1710.08843 (2017)"},{"issue":"1","key":"18_CR56","doi-asserted-by":"publisher","first-page":"1096","DOI":"10.1109\/JSYST.2018.2867285","volume":"13","author":"R Wang","year":"2018","unstructured":"Wang, R.: A formal model-based design method for robotic systems. IEEE Syst. J. 13(1), 1096\u20131107 (2018)","journal-title":"IEEE Syst. J."},{"key":"18_CR57","doi-asserted-by":"crossref","first-page":"1","DOI":"10.5772\/52938","volume":"10","author":"Z Yan","year":"2013","unstructured":"Yan, Z., Jouandeau, N., Ali, A.: A survey and analysis of multi-robot coordination. Int. J. Adv. Rob. Syst. 10, 1 (2013)","journal-title":"Int. J. Adv. Rob. Syst."}],"container-title":["Lecture Notes in Computer Science","Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-19759-8_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,10,6]],"date-time":"2024-10-06T02:52:01Z","timestamp":1728183121000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-19759-8_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022]]},"ISBN":["9783031197581","9783031197598"],"references-count":57,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-19759-8_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2022]]},"assertion":[{"value":"17 October 2022","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":"Rhodes","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":"2022","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"22 October 2022","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"30 October 2022","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"11","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"isola2022","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/www.isola-conference.org\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}