{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,19]],"date-time":"2026-06-19T03:45:28Z","timestamp":1781840728671,"version":"3.54.5"},"publisher-location":"Cham","reference-count":31,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783030587673","type":"print"},{"value":"9783030587680","type":"electronic"}],"license":[{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020]]},"DOI":"10.1007\/978-3-030-58768-0_17","type":"book-chapter","created":{"date-parts":[[2020,9,11]],"date-time":"2020-09-11T12:02:48Z","timestamp":1599825768000},"page":"303-324","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":12,"title":["Formal Verification of Human-Robot Interaction in Healthcare Scenarios"],"prefix":"10.1007","author":[{"given":"Livia","family":"Lestingi","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Mehrnoosh","family":"Askarpour","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Marcello M.","family":"Bersani","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Matteo","family":"Rossi","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2020,9,8]]},"reference":[{"key":"17_CR1","unstructured":"HRI Toolchain (2020). https:\/\/github.com\/LesLivia\/hritoolchain"},{"key":"17_CR2","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1007\/978-3-319-47437-3_25","volume-title":"Social Robotics","author":"C Adam","year":"2016","unstructured":"Adam, C., Johal, W., Pellier, D., Fiorino, H., Pesty, S.: Social human-robot interaction: a new cognitive and affective interaction-oriented architecture. In: Agah, A., Cabibihan, J.-J., Howard, A.M., Salichs, M.A., He, H. (eds.) ICSR 2016. LNCS (LNAI), vol. 9979, pp. 253\u2013263. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-47437-3_25"},{"issue":"1","key":"17_CR3","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/3158668","volume":"28","author":"G Agha","year":"2018","unstructured":"Agha, G., Palmskog, K.: A survey of statistical model checking. ACM Trans. Model. Comput. Simul. (TOMACS) 28(1), 1\u201339 (2018)","journal-title":"ACM Trans. Model. Comput. Simul. (TOMACS)"},{"issue":"1","key":"17_CR4","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/0304-3975(94)00202-T","volume":"138","author":"R Alur","year":"1995","unstructured":"Alur, R., et al.: The algorithmic analysis of hybrid systems. Theoret. Comput. Sci. 138(1), 3\u201334 (1995)","journal-title":"Theoret. Comput. Sci."},{"issue":"2","key":"17_CR5","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R Alur","year":"1994","unstructured":"Alur, R., Dill, D.L.: A theory of timed automata. Theoret. Comput. Sci. 126(2), 183\u2013235 (1994)","journal-title":"Theoret. Comput. Sci."},{"key":"17_CR6","unstructured":"Arai, R., Schlingloff, H.: Model-based performance prediction by statistical model checking an industrial case study of autonomous transport robots. In: Concurrency, Specification and Programming (2017)"},{"key":"17_CR7","doi-asserted-by":"publisher","first-page":"465","DOI":"10.1016\/j.rcim.2019.01.001","volume":"57","author":"M Askarpour","year":"2019","unstructured":"Askarpour, M., Mandrioli, D., Rossi, M., Vicentini, F.: Formal model of human erroneous behavior for safety analysis in collaborative robotics. Robot. Comput.-Integr. Manuf. 57, 465\u2013476 (2019)","journal-title":"Robot. Comput.-Integr. Manuf."},{"key":"17_CR8","doi-asserted-by":"crossref","unstructured":"Askarpour, M., Menghi, C., Belli, G., Bersani, M., Pelliccione, P.: Mind the gap: robotic mission planning meets software engineering. In: Proceedings of the 8th International Conference on Formal Methods in Software Engineering (2020)","DOI":"10.1145\/3372020.3391561"},{"key":"17_CR9","doi-asserted-by":"publisher","unstructured":"Bersani, M.M., Soldo, M., Menghi, C., Pelliccione, P., Rossi, M.: PuRSUE-from specification of robotic environments to synthesis of controllers. Formal Aspects Comput. 1\u201341 (2020). https:\/\/doi.org\/10.1007\/s00165-020-00509-0","DOI":"10.1007\/s00165-020-00509-0"},{"key":"17_CR10","doi-asserted-by":"crossref","unstructured":"Chettibi, T., Haddad, M., Lehtihet, H., Khalil, W.: Suboptimal trajectory generation for industrial robots using trapezoidal velocity profiles. In: IROS, pp. 729\u2013735. IEEE (2006)","DOI":"10.1109\/IROS.2006.282621"},{"issue":"4","key":"17_CR11","doi-asserted-by":"publisher","first-page":"397","DOI":"10.1007\/s10009-014-0361-y","volume":"17","author":"A David","year":"2015","unstructured":"David, A., Larsen, K.G., Legay, A., Miku\u010dionis, M., Poulsen, D.B.: Uppaal SMC tutorial. Int. J. Softw. Tools Technol. Transfer 17(4), 397\u2013415 (2015). https:\/\/doi.org\/10.1007\/s10009-014-0361-y","journal-title":"Int. J. Softw. Tools Technol. Transfer"},{"key":"17_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1007\/978-3-030-30446-1_6","volume-title":"Software Engineering and Formal Methods","author":"X Zhao","year":"2019","unstructured":"Zhao, X., et al.: Towards integrating formal verification of autonomous robots with battery prognostics and health management. In: \u00d6lveczky, P.C., Sala\u00fcn, G. (eds.) SEFM 2019. LNCS, vol. 11724, pp. 105\u2013124. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-30446-1_6"},{"key":"17_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"114","DOI":"10.1007\/978-3-030-30923-7_7","volume-title":"Model Checking Software","author":"M Foughali","year":"2019","unstructured":"Foughali, M., Ingrand, F., Seceleanu, C.: Statistical model checking of complex robotic systems. In: Biondi, F., Given-Wilson, T., Legay, A. (eds.) SPIN 2019. LNCS, vol. 11636, pp. 114\u2013134. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-30923-7_7"},{"issue":"2","key":"17_CR14","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1080\/07370024.2017.1312406","volume":"34","author":"MM de Graaf","year":"2019","unstructured":"de Graaf, M.M., Ben Allouch, S., van Dijk, J.A.: Why would I use this in my home? A model of domestic social robot acceptance. Hum.-Comput. Interact. 34(2), 115\u2013173 (2019)","journal-title":"Hum.-Comput. Interact."},{"issue":"1","key":"17_CR15","first-page":"01","volume":"9","author":"M Hadley","year":"2018","unstructured":"Hadley, M.: A deterministic model of the free will phenomenon. J. Conscious. Explor. Res. 9(1), 01\u201319 (2018)","journal-title":"J. Conscious. Explor. Res."},{"key":"17_CR16","doi-asserted-by":"crossref","unstructured":"Halder, R., Proen\u00e7a, J., Macedo, N., Santos, A.: Formal verification of ROS-based robotic applications using timed-automata. In: International FME Workshop on Formal Methods in Software Engineering (FormaliSE), pp. 44\u201350. IEEE (2017)","DOI":"10.1109\/FormaliSE.2017.9"},{"key":"17_CR17","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1007\/978-3-319-26184-3_7","volume-title":"Engineering Multi-Agent Systems","author":"B Herd","year":"2015","unstructured":"Herd, B., Miles, S., McBurney, P., Luck, M.: Quantitative analysis of multiagent systems through statistical model checking. In: Baldoni, M., Baresi, L., Dastani, M. (eds.) EMAS 2015. LNCS (LNAI), vol. 9318, pp. 109\u2013130. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-26184-3_7"},{"key":"17_CR18","unstructured":"ISO 12100: Safety of machinery - General principles for design - Risk assessment and risk reduction. ISO (2010)"},{"key":"17_CR19","unstructured":"ISO 13482: Robots and robotic devices - Safety requirements for personal care robots. ISO (2014)"},{"key":"17_CR20","unstructured":"ISO 13849\u20131: Safety of machinery - Safety-related parts of control systems - Part 1: General principles for design. ISO (2006)"},{"issue":"12\u201313","key":"17_CR21","doi-asserted-by":"publisher","first-page":"7287","DOI":"10.1016\/j.apm.2013.02.028","volume":"37","author":"MY Jaber","year":"2013","unstructured":"Jaber, M.Y., Givi, Z., Neumann, W.P.: Incorporating human fatigue and recovery into the learning-forgetting process. Appl. Math. Model. 37(12\u201313), 7287\u20137299 (2013)","journal-title":"Appl. Math. Model."},{"key":"17_CR22","unstructured":"Jacobs, T., Virk, G.S.: ISO 13482 - the new safety standard for personal care robots. In: International Symposium on Robotics, pp. 1\u20136. VDE (2014)"},{"key":"17_CR23","unstructured":"Konz, S.: Work\/rest: Part ii-the scientific basis (knowledge base) for the guide 1. In: Ergonomics Guidelines and Problem Solving, vol. 1, no. 401, p. 38 (2000)"},{"issue":"1","key":"17_CR24","doi-asserted-by":"publisher","first-page":"134","DOI":"10.1007\/s100090050010","volume":"1","author":"KG Larsen","year":"1997","unstructured":"Larsen, K.G., Pettersson, P., Yi, W.: Uppaal in a nutshell. Int. J. Softw. Tools Technol. Transfer 1(1), 134\u2013152 (1997). https:\/\/doi.org\/10.1007\/s100090050010","journal-title":"Int. J. Softw. Tools Technol. Transfer"},{"issue":"5","key":"17_CR25","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/3342355","volume":"52","author":"M Luckcuck","year":"2019","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. (CSUR) 52(5), 1\u201341 (2019)","journal-title":"ACM Comput. Surv. (CSUR)"},{"key":"17_CR26","series-title":"Health Informatics","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1007\/978-3-030-16916-9_4","volume-title":"Cognitive Informatics","author":"P Payne","year":"2019","unstructured":"Payne, P., Lopetegui, M., Yu, S.: A review of clinical workflow studies and methods. In: Zheng, K., Westbrook, J., Kannampallil, T.G., Patel, V.L. (eds.) Cognitive Informatics. HI, pp. 47\u201361. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-16916-9_4"},{"key":"17_CR27","doi-asserted-by":"crossref","unstructured":"Porfirio, D., Saupp\u00e9, A., Albarghouthi, A., Mutlu, B.: Authoring and verifying human-robot interactions. In: Proceedings of ACM Symposium on User Interface Software and Technology, pp. 75\u201386 (2018)","DOI":"10.1145\/3242587.3242634"},{"key":"17_CR28","doi-asserted-by":"publisher","first-page":"900","DOI":"10.1109\/TITS.2019.2901817","volume":"21","author":"A Rasouli","year":"2019","unstructured":"Rasouli, A., Tsotsos, J.K.: Autonomous vehicles that interact with pedestrians: a survey of theory and practice. IEEE Trans. Intell. Transp. Syst. 21, 900\u2013918 (2019)","journal-title":"IEEE Trans. Intell. Transp. Syst."},{"key":"17_CR29","doi-asserted-by":"crossref","unstructured":"Sinkaram, C., Rajakumar, K., Asirvadam, V.: Modeling battery management system using the lithium-ion battery. In: International Conference on Control System, Computing and Engineering, pp. 50\u201355. IEEE (2012)","DOI":"10.1109\/ICCSCE.2012.6487114"},{"key":"17_CR30","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2019.2937471","author":"F Vicentini","year":"2019","unstructured":"Vicentini, F., Askarpour, M., Rossi, M.G., Mandrioli, D.: Safety assessment of collaborative robotics through automated formal verification. IEEE Trans. Rob. (2019). https:\/\/doi.org\/10.1109\/TRO.2019.2937471","journal-title":"IEEE Trans. Rob."},{"key":"17_CR31","unstructured":"Webster, M., et al.: Formal verification of an autonomous personal robotic assistant. In: AAAI Spring Symposium Series (2014)"}],"container-title":["Lecture Notes in Computer Science","Software Engineering and Formal Methods"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-58768-0_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,3,31]],"date-time":"2021-03-31T23:24:45Z","timestamp":1617233085000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-58768-0_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020]]},"ISBN":["9783030587673","9783030587680"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-58768-0_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020]]},"assertion":[{"value":"8 September 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"SEFM","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Software Engineering and Formal Methods","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Amsterdam","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"The Netherlands","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2020","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"14 September 2020","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"18 September 2020","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"18","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"sefm2020","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/event.cwi.nl\/sefm2020\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}