{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,25]],"date-time":"2025-06-25T01:40:08Z","timestamp":1750815608632,"version":"3.41.0"},"publisher-location":"Cham","reference-count":17,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319671123"},{"type":"electronic","value":"9783319671130"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-67113-0_8","type":"book-chapter","created":{"date-parts":[[2017,8,24]],"date-time":"2017-08-24T04:21:24Z","timestamp":1503548484000},"page":"119-133","source":"Crossref","is-referenced-by-count":7,"title":["CRutoN: Automatic Verification of a Robotic Assistant\u2019s Behaviours"],"prefix":"10.1007","author":[{"given":"Paul","family":"Gainer","sequence":"first","affiliation":[]},{"given":"Clare","family":"Dixon","sequence":"additional","affiliation":[]},{"given":"Kerstin","family":"Dautenhahn","sequence":"additional","affiliation":[]},{"given":"Michael","family":"Fisher","sequence":"additional","affiliation":[]},{"given":"Ullrich","family":"Hustadt","sequence":"additional","affiliation":[]},{"given":"Joe","family":"Saunders","sequence":"additional","affiliation":[]},{"given":"Matt","family":"Webster","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,8,25]]},"reference":[{"key":"8_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"359","DOI":"10.1007\/3-540-45657-0_29","volume-title":"Computer Aided Verification","author":"A Cimatti","year":"2002","unstructured":"Cimatti, A., Clarke, E., Giunchiglia, E., Giunchiglia, F., Pistore, M., Roveri, M., Sebastiani, R., Tacchella, A.: NuSMV 2: an OpenSource tool for symbolic model checking. In: Brinksma, E., Larsen, K.G. (eds.) CAV 2002. LNCS, vol. 2404, pp. 359\u2013364. Springer, Heidelberg (2002). doi: 10.1007\/3-540-45657-0_29"},{"key":"8_CR2","doi-asserted-by":"crossref","unstructured":"Cowley, A., Taylor, C.J.: Towards language-based verification of robot behaviors. In: Proceedings of IROS 2011, pp. 4776\u20134782. IEEE (2011)","DOI":"10.1109\/IROS.2011.6095028"},{"key":"8_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1007\/978-3-319-10401-0_9","volume-title":"Advances in Autonomous Robotics Systems","author":"C Dixon","year":"2014","unstructured":"Dixon, C., Webster, M., Saunders, J., Fisher, M., Dautenhahn, K.: \u201cThe fridge door is open\u201d\u2013temporal verification of a robotic assistant\u2019s behaviours. In: Mistry, M., Leonardis, A., Witkowski, M., Melhuish, C. (eds.) TAROS 2014. LNCS, vol. 8717, pp. 97\u2013108. Springer, Cham (2014). doi: 10.1007\/978-3-319-10401-0_9"},{"key":"8_CR4","unstructured":"Duque, I., Dautenhahn, K., Koay, K.L., Willcock, L., Christianson, B.: Knowledge-driven user activity recognition for a smart house? Development and validation of a generic and low-cost, resource-efficient system. In: Proceedings of ACHI 2013. IARIA XPS Press (2013)"},{"key":"8_CR5","unstructured":"Gainer, P.: Verification for a robotic assistant. Technical report, ULCS-17-003, Department of Computer Science, University of Liverpool, Liverpool, UK (2017)"},{"key":"8_CR6","volume-title":"The SPIN Model Checker: Primer and Reference Manual","author":"GJ Holzmann","year":"2004","unstructured":"Holzmann, G.J.: The SPIN Model Checker: Primer and Reference Manual. Addison-Wesley, Reading (2004)"},{"key":"8_CR7","unstructured":"ISO: Robots and robotic devices - safety requirements for personal care robots. ISO 13482: 2014, International Organization for Standardization, Geneva, Switzerland (2014)"},{"key":"8_CR8","doi-asserted-by":"crossref","unstructured":"Kouskoulas, Y., Renshaw, D., Platzer, A., Kazanzides, P.: Certifying the safe design of a virtual fixture control algorithm for a surgical robot. In: Proceedings of HSCC 2013, pp. 263\u2013272. ACM (2013)","DOI":"10.1145\/2461328.2461369"},{"key":"8_CR9","unstructured":"McMillan, K.L.: The SMV language. Technical report, Cadence Berkeley Labs (1999)"},{"key":"8_CR10","doi-asserted-by":"crossref","unstructured":"Mohammed, A., Stolzenburg, F., Furbach, U.: Multi-robot systems: modeling, specification, and model checking. INTECH Open Access Publisher (2010)","DOI":"10.5772\/7349"},{"key":"8_CR11","unstructured":"Quigley, M., Conley, K., Gerkey, B., Faust, J., Foote, T., Leibs, J., Wheeler, R., Ng, A.Y.: ROS: an open-source robot operating system. In: Proceedings of the ICRA Workshop on Open Source Software in Robotics (2009)"},{"key":"8_CR12","doi-asserted-by":"crossref","unstructured":"Reiser, U., Connette, C., Fischer, J., Kubacki, J., Bubeck, A., Weisshardt, F., Jacobs, T., Parlitz, C., H\u00e4gele, M., Verl, A.: Care-o-bot\u00ae 3: creating a product vision for service robot applications by integrating design and technology. In: Proceedings of IROS 2009, pp. 1992\u20131998. IEEE (2009)","DOI":"10.1109\/IROS.2009.5354526"},{"key":"8_CR13","doi-asserted-by":"crossref","unstructured":"Saunders, J., Burke, N., Koay, K.L., Dautenhahn, K.: A user friendly robot architecture for re-ablement and co-learning in a sensorised home. In: Proceedings of AAATE 2013, pp. 49\u201358. IOS Press (2013)","DOI":"10.3233\/978-1-61499-304-9-49"},{"issue":"1","key":"8_CR14","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1109\/THMS.2015.2445105","volume":"46","author":"J Saunders","year":"2016","unstructured":"Saunders, J., Syrdal, D.S., Koay, K.L., Burke, N., Dautenhahn, K.: \u201cTeach Me-Show Me\u201d\u2014end-user personalization of a smart home and companion robot. IEEE Trans. Hum.-Mach. Syst. 46(1), 27\u201340 (2016)","journal-title":"IEEE Trans. Hum.-Mach. Syst."},{"issue":"5","key":"8_CR15","doi-asserted-by":"crossref","first-page":"32","DOI":"10.1109\/MIS.2002.1039830","volume":"17","author":"M Sierhuis","year":"2002","unstructured":"Sierhuis, M., Clancey, W.J.: Modeling and simulating work practice: a method for work systems design. IEEE Intell. Syst. 17(5), 32\u201341 (2002)","journal-title":"IEEE Intell. Syst."},{"key":"8_CR16","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"385","DOI":"10.1007\/978-3-642-33353-8_30","volume-title":"Logics in Artificial Intelligence","author":"R Stocker","year":"2012","unstructured":"Stocker, R., Dennis, L., Dixon, C., Fisher, M.: Verifying Brahms human-robot teamwork models. In: Cerro, L.F., Herzig, A., Mengin, J. (eds.) JELIA 2012. LNCS (LNAI), vol. 7519, pp. 385\u2013397. Springer, Heidelberg (2012). doi: 10.1007\/978-3-642-33353-8_30"},{"issue":"2","key":"8_CR17","doi-asserted-by":"crossref","first-page":"186","DOI":"10.1109\/THMS.2015.2425139","volume":"46","author":"M Webster","year":"2016","unstructured":"Webster, M., Dixon, C., Fisher, M., Salem, M., Saunders, J., Koay, K.L., Dautenhahn, K., Saez-Pons, J.: Toward reliable autonomous robotic assistants through formal verification: a case study. IEEE Trans. Hum.-Mach. Syst. 46(2), 186\u2013196 (2016)","journal-title":"IEEE Trans. Hum.-Mach. Syst."}],"container-title":["Lecture Notes in Computer Science","Critical Systems: Formal Methods and Automated Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-67113-0_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,25]],"date-time":"2025-06-25T01:10:44Z","timestamp":1750813844000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-67113-0_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319671123","9783319671130"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-67113-0_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}