{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,18]],"date-time":"2025-12-18T14:28:25Z","timestamp":1766068105759,"version":"3.40.3"},"publisher-location":"Cham","reference-count":14,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031764233"},{"type":"electronic","value":"9783031764240"}],"license":[{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"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":[[2024]]},"DOI":"10.1007\/978-3-031-76424-0_25","type":"book-chapter","created":{"date-parts":[[2024,12,31]],"date-time":"2024-12-31T18:00:55Z","timestamp":1735668055000},"page":"137-142","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Towards Robust Autonomous Robots Using Statistical Model Checking"],"prefix":"10.1007","author":[{"given":"Michaela","family":"Klauck","sequence":"first","affiliation":[]},{"given":"Ralph","family":"Lange","sequence":"additional","affiliation":[]},{"given":"Christian","family":"Henkel","sequence":"additional","affiliation":[]},{"given":"Selma","family":"Kchir","sequence":"additional","affiliation":[]},{"given":"Matteo","family":"Palmas","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2025,1,1]]},"reference":[{"key":"25_CR1","doi-asserted-by":"crossref","unstructured":"Bruyninckx, H.: Open robot control software: the OROCOS project. In: Proceedings of IEEE International Conference on Robotics and Automation, ICRA, pp. 2523\u20132528. IEEE (2001)","DOI":"10.1109\/ROBOT.2001.933002"},{"key":"25_CR2","doi-asserted-by":"crossref","unstructured":"Budde, C.E., Dehnert, C., Hahn, E.M., Hartmanns, A., Junges, S., Turrini, A.: JANI: quantitative model and tool interaction. In: Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2017, ETAPS Proceedings, Part II. LNCS (2017)","DOI":"10.1007\/978-3-662-54580-5_9"},{"key":"25_CR3","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 Conference on Formal Methods in Software Engineering (2018)","DOI":"10.1145\/3193992.3193996"},{"key":"25_CR4","doi-asserted-by":"crossref","unstructured":"Grunske, L., Lindsay, P.A., Yatapanage, N., Winter, K.: An automated failure mode and effect analysis based on high-level design specification with behavior trees. In: Integrated Formal Methods, IFM 2005. LNCS, vol. 3771. Springer (2005)","DOI":"10.1007\/11589976_9"},{"issue":"4","key":"25_CR5","doi-asserted-by":"publisher","first-page":"589","DOI":"10.1007\/s10009-021-00633-z","volume":"24","author":"C Hensel","year":"2022","unstructured":"Hensel, C., Junges, S., Katoen, J., Quatmann, T., Volk, M.: The probabilistic model checker storm. Int. J. Softw. Tools Technol. Transf. 24(4), 589\u2013610 (2022)","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"key":"25_CR6","doi-asserted-by":"crossref","unstructured":"Ingrand, F.: Recent trends in formal validation and verification of autonomous robots software. In: 3rd IEEE International Conference on Robotic Computing, IRC. IEEE (2019)","DOI":"10.1109\/IRC.2019.00059"},{"key":"25_CR7","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)","journal-title":"Artif. Intell."},{"key":"25_CR8","doi-asserted-by":"crossref","unstructured":"Kwiatkowska, M.Z., Norman, G., Parker, D.: PRISM 4.0: verification of probabilistic real-time systems. In: Compuer Aided Verification, CAV. LNCS. Springer (2011)","DOI":"10.1007\/978-3-642-22110-1_47"},{"key":"25_CR9","doi-asserted-by":"crossref","unstructured":"Legay, A., Lukina, A., Traonouez, L., Yang, J., Smolka, S.A., Grosu, R.: Statistical model checking. In: Computing and Software Science - State of the Art and Perspectives. LNCS, vol. 10000, pp. 478\u2013504. Springer (2019)","DOI":"10.1007\/978-3-319-91908-9_23"},{"key":"25_CR10","doi-asserted-by":"crossref","unstructured":"Lindsay, P.A., Winter, K., Yatapanage, N.: Safety assessment using behavior trees and model checking. In: 8th IEEE International Conference on Software Engineering & Formal Methods, SEFM. IEEE Computer Society (2010)","DOI":"10.1109\/SEFM.2010.23"},{"key":"25_CR11","doi-asserted-by":"crossref","unstructured":"Luckcuck, M., Farrell, M., Dennis, L.A., Dixon, C., Fisher, M.: Formal specification and verification of autonomous robotic systems: a survey. ACM Comput. Surv. 52(5), 100:1\u2013100:41 (2019)","DOI":"10.1145\/3342355"},{"key":"25_CR12","unstructured":"Palmas, M., et al.: Translating behavior trees to petri nets for model checking (under submission)"},{"key":"25_CR13","doi-asserted-by":"crossref","unstructured":"Reisig, W.: Understanding Petri Nets - Modeling Techniques, Analysis Methods, Case Studies. Springer (2013)","DOI":"10.1007\/978-3-642-33278-4"},{"key":"25_CR14","doi-asserted-by":"publisher","first-page":"267","DOI":"10.4271\/12-03-04-0020","volume":"3","author":"J Wishart","year":"2020","unstructured":"Wishart, J., et al.: Literature review of verification and validation activities of automated driving systems. SAE Int. J. Connect. Autom. Veh. 3, 267\u2013323 (2020)","journal-title":"SAE Int. J. Connect. Autom. Veh."}],"container-title":["Springer Proceedings in Advanced Robotics","European Robotics Forum 2024"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-76424-0_25","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,12,31]],"date-time":"2024-12-31T18:08:26Z","timestamp":1735668506000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-76424-0_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024]]},"ISBN":["9783031764233","9783031764240"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-76424-0_25","relation":{},"ISSN":["2511-1256","2511-1264"],"issn-type":[{"type":"print","value":"2511-1256"},{"type":"electronic","value":"2511-1264"}],"subject":[],"published":{"date-parts":[[2024]]},"assertion":[{"value":"1 January 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ERF","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"European Robotics Forum","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Rimini","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":"2024","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"13 March 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"15 March 2024","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":"erf2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/erf2024.eu\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}