{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,21]],"date-time":"2025-08-21T17:55:50Z","timestamp":1755798950665,"version":"3.44.0"},"publisher-location":"Cham","reference-count":19,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783032014856"},{"type":"electronic","value":"9783032014863"}],"license":[{"start":{"date-parts":[[2025,8,13]],"date-time":"2025-08-13T00:00:00Z","timestamp":1755043200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,8,13]],"date-time":"2025-08-13T00:00:00Z","timestamp":1755043200000},"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-01486-3_19","type":"book-chapter","created":{"date-parts":[[2025,8,19]],"date-time":"2025-08-19T15:47:06Z","timestamp":1755618426000},"page":"237-244","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Surveying Deliberation Practices and\u00a0Methodological Needs in\u00a0Robotics Software Engineering"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-6353-227X","authenticated-orcid":false,"given":"Michaela","family":"Klauck","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6250-9695","authenticated-orcid":false,"given":"Christian","family":"Henkel","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0009-0002-8057-4807","authenticated-orcid":false,"given":"Marco","family":"Lampacrescia","sequence":"additional","affiliation":[]},{"given":"Ginny","family":"Jorgensen","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2025,8,13]]},"reference":[{"key":"19_CR1","doi-asserted-by":"publisher","unstructured":"Chen-Jorgensen, G., Klauck, M., Lampacrescia, M., Henkel, C., Wallis, D.: Results of the convince autonomous systems developer survey (2024). https:\/\/doi.org\/10.5281\/zenodo.13382222","DOI":"10.5281\/zenodo.13382222"},{"key":"19_CR2","doi-asserted-by":"crossref","unstructured":"Colledanchise, M., Cicala, G., Domenichelli, D.E., Natale, L., Tacchella, A.: Formalizing the execution context of behavior trees for runtime verification of deliberative policies. In: Proceedings of the IEEE\/RSJ International Conference on Intelligent Robots and Systems (IROS), pp. 9841\u20139848. IEEE (2021)","DOI":"10.1109\/IROS51168.2021.9636129"},{"key":"19_CR3","unstructured":"Colledanchise, M., Cicala, G., Domenichelli, D.E., Natale, L., Tacchella, A.: A toolchain to design, execute, and monitor robots behaviors. arXiv preprint arXiv:2106.15211 (2021)"},{"key":"19_CR4","doi-asserted-by":"crossref","unstructured":"Espiau, B., Kapellos, K., Jourdan, M.: Formal verification in robotics: why and how? In: Proceedings of Robotics Research: The Seventh International Symposium, pp. 225\u2013236. Springer (1996)","DOI":"10.1007\/978-1-4471-1021-7_26"},{"key":"19_CR5","doi-asserted-by":"crossref","unstructured":"Foughali, M., Berthomieu, B., Zilio, S.D., Hladik, P.E., Ingrand, F., Mallet, A.: Formal verification of complex robotic systems on resource-constrained platforms. In: Proceedings of the 6th Conf. on Formal Methods in Software Engineering (2018)","DOI":"10.1145\/3193992.3193996"},{"key":"19_CR6","doi-asserted-by":"publisher","unstructured":"Henkel, C., et al.: Results of the roscon24 workshop survey \u2019hands-on with ros2 deliberation technologies\u2019 (November 2024). https:\/\/doi.org\/10.5281\/zenodo.14051492","DOI":"10.5281\/zenodo.14051492"},{"key":"19_CR7","unstructured":"Henkel, C., Lampacrescia, M., Klauck, M., Morelli, M.: AS2FM: Enabling statistical model checking of ROS 2 systems for robust autonomy. Accepted at IROS 2025"},{"key":"19_CR8","doi-asserted-by":"crossref","unstructured":"Ingrand, F.: Recent trends in formal validation and verification of autonomous robots software. In: Proceedings of the IEEE International Conference on Robotic Computing (IRC), pp. 321\u2013328. IEEE (2019)","DOI":"10.1109\/IRC.2019.00059"},{"key":"19_CR9","doi-asserted-by":"publisher","first-page":"10","DOI":"10.1016\/j.artint.2014.11.003","volume":"247","author":"F Ingrand","year":"2017","unstructured":"Ingrand, F., Ghallab, M.: Deliberation for autonomous robots: a survey. Artif. Intell. 247, 10\u201344 (2017). https:\/\/doi.org\/10.1016\/j.artint.2014.11.003","journal-title":"Artif. Intell."},{"key":"19_CR10","doi-asserted-by":"crossref","unstructured":"Klauck, M., Lange, R., Henkel, C., Kchir, S., Palmas, M.: Towards robust autonomous robots using statistical model checking. In: Secchi, C., Marconi, L. (eds.) European Robotics Forum 2024, pp. 137\u2013142. Springer Nature Switzerland, Cham (2024)","DOI":"10.1007\/978-3-031-76424-0_25"},{"key":"19_CR11","doi-asserted-by":"publisher","unstructured":"Lampacrescia, M., Klauck, M., Palmas, M.: Towards verifying robotic systems using statistical model checking in STORM. In: Steffen, B. (ed.) Bridging the Gap Between AI and Reality - Second International Conference, AISoLA 2024, Crete, Greece, October 30 \u2013 3 November 2024, Proceedings. LNCS, vol. 15217, pp. 446\u2013467. Springer, Cham (2024). https:\/\/doi.org\/10.1007\/978-3-031-75434-0_28","DOI":"10.1007\/978-3-031-75434-0_28"},{"key":"19_CR12","doi-asserted-by":"crossref","unstructured":"Martinez, J., Ruiz, A., Radermacher, A., Tonetta, S.: Assumptions and guarantees for composable models in papyrus for robotics. In: Proceedings of the IEEE\/ACM International Workshop on Robotics Software Engineering (RoSE), pp.\u00a01\u20134. IEEE (2021)","DOI":"10.1109\/RoSE52553.2021.00007"},{"key":"19_CR13","doi-asserted-by":"publisher","unstructured":"Mayr, M., Rovida, F., Kr\u00fcger, V.: Skiros2: a skill-based robot control platform for ROS. In: IROS, pp. 6273\u20136280 (2023). https:\/\/doi.org\/10.1109\/IROS55552.2023.10342216","DOI":"10.1109\/IROS55552.2023.10342216"},{"key":"19_CR14","doi-asserted-by":"crossref","unstructured":"Meywerk, T., Walter, M., Herdt, V., Kleinekath\u00f6fer, J., Gro\u00dfe, D., Drechsler, R.: Verifying safety properties of robotic plans operating in real-world environments via logic-based environment modeling. In: Proceedings of the International Symposium on Leveraging Applications of Formal Methods, pp. 326\u2013347. Springer (2020)","DOI":"10.1007\/978-3-030-61467-6_21"},{"key":"19_CR15","unstructured":"Quigley, M., et\u00a0al.: Ros: an open-source robot operating system. In: Proceedings of the ICRA Workshop on Open Source Software, vol.\u00a03, p.\u00a05 (2009)"},{"key":"19_CR16","doi-asserted-by":"crossref","unstructured":"Radermacher, A., Morelli, M., Hussein, M., Nouacer, R.: Designing drone systems with papyrus for robotics. In: Proceedings of Drone Systems Engineering and Rapid Simulation and Performance Evaluation: Methods and Tools, pp. 29\u201335 (2021)","DOI":"10.1145\/3444950.3444956"},{"key":"19_CR17","unstructured":"Schlegel, C., Ha\u00dfler, T., Lotz, A., Steck, A.: Robotic software systems: from code-driven to model-driven designs. In: Proceedings of the International Conference on Advanced Robotics, pp.\u00a01\u20138. IEEE (2009)"},{"key":"19_CR18","doi-asserted-by":"publisher","unstructured":"Street, C., et al.: Towards a verifiable toolchain for robotics. In: Proceedings of the AAAI Symposium Series, vol. 4, no. 1, pp. 398\u2013403 (November 2024). https:\/\/doi.org\/10.1609\/aaaiss.v4i1.31823","DOI":"10.1609\/aaaiss.v4i1.31823"},{"key":"19_CR19","doi-asserted-by":"publisher","unstructured":"Zutell, J.M., Conner, D.C., Schillinger, P.: Ros 2-based flexible behavior engine for flexible navigation. In: SoutheastCon 2022, pp. 674\u2013681 (2022). https:\/\/doi.org\/10.1109\/SoutheastCon48659.2022.9764047","DOI":"10.1109\/SoutheastCon48659.2022.9764047"}],"container-title":["Lecture Notes in Computer Science","Towards Autonomous Robotic Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-032-01486-3_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,19]],"date-time":"2025-08-19T15:47:11Z","timestamp":1755618431000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-01486-3_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,8,13]]},"ISBN":["9783032014856","9783032014863"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-01486-3_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2025,8,13]]},"assertion":[{"value":"13 August 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"TAROS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Annual Conference Towards Autonomous Robotic Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"York","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"United Kingdom","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2025","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"20 August 2025","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"22 August 2025","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"26","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"taros2025","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/taros-conference.org\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}