{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,18]],"date-time":"2025-12-18T14:00:03Z","timestamp":1766066403623,"version":"3.40.4"},"publisher-location":"Cham","reference-count":18,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319104003"},{"type":"electronic","value":"9783319104010"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-10401-0_9","type":"book-chapter","created":{"date-parts":[[2014,8,23]],"date-time":"2014-08-23T04:21:25Z","timestamp":1408767685000},"page":"97-108","source":"Crossref","is-referenced-by-count":19,"title":["\u201cThe Fridge Door is Open\u201d\u2013Temporal Verification of a Robotic Assistant\u2019s Behaviours"],"prefix":"10.1007","author":[{"given":"Clare","family":"Dixon","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Matt","family":"Webster","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Joe","family":"Saunders","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Fisher","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kerstin","family":"Dautenhahn","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"9_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.\u00a02404, pp. 359\u2013364. Springer, Heidelberg (2002)"},{"unstructured":"Clarke, E., Grumberg, O., Peled, D.A.: Model Checking. MIT Press (2000)","key":"9_CR2"},{"unstructured":"Duque, I., Dautenhahn, K., Koay, K.L., Willcock, I., Christianson, B.: Knowledge-driven User Activity Recognition for a Smart House. Development and Validation of a Generic and Low-Cost, Resource-Efficient System. In: Proc. of the Sixth Int. Conf. on Advances in Computer-Human Interactions (ACHI), pp. 141\u2013146 (2013)","key":"9_CR3"},{"doi-asserted-by":"crossref","unstructured":"Fainekos, G., Kress-Gazit, H., Pappas, G.: Temporal Logic Motion Planning for Mobile Robots. In: Proceedings of the IEEE International Conference on Robotics and Automation (ICRA), pp. 2020\u20132025. IEEE Computer Society Press (2005)","key":"9_CR4","DOI":"10.1109\/ROBOT.2005.1570410"},{"unstructured":"Holzmann, G.J.: The Spin Model Checker: Primer and Reference Manual. Addison-Wesley (2003)","key":"9_CR5"},{"key":"9_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"429","DOI":"10.1007\/11562948_32","volume-title":"Automated Technology for Verification and Analysis","author":"M. Kim","year":"2005","unstructured":"Kim, M., Kang, K.C.: Formal construction and verification of home service robots: A case study. In: Peled, D.A., Tsay, Y.-K. (eds.) ATVA 2005. LNCS, vol.\u00a03707, pp. 429\u2013443. Springer, Heidelberg (2005)"},{"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: Proc. of the 16th Int. Conf. on Hybrid Systems: Computation and Control, pp. 263\u2013272. ACM (2013)","key":"9_CR7","DOI":"10.1145\/2461328.2461369"},{"doi-asserted-by":"crossref","unstructured":"Mohammed, A., Furbach, U., Stolzenburg, F.: Multi-Robot Systems: Modeling, Specification, and Model Checking, ch. 11, pp. 241\u2013265. InTechOpen (2010)","key":"9_CR8","DOI":"10.5772\/7349"},{"doi-asserted-by":"crossref","unstructured":"Proetzsch, M., Berns, K., Schuele, T., Schneider, K.: Formal Verification of Safety Behaviours of the Outdoor Robot RAVON. In: Fourth Int. Conf. on Informatics in Control, Automation and Robotics (ICINCO), pp. 157\u2013164. INSTICC Press (2007)","key":"9_CR9","DOI":"10.5220\/0001619101570164"},{"doi-asserted-by":"crossref","unstructured":"Reiser, U., Connette, C.P., Fischer, J., Kubacki, J., Bubeck, A., Weisshardt, F., Jacobs, T., Parlitz, C., H\u00e4gele, M., Verl, A.: Care-o-bot\u00ae3 - creating a product vision for service robot applications by integrating design and technology. In: IEEE\/RSJ Int. Conf. on Intelligent Robots and Systems (IROS), pp. 1992\u20131998 (2009)","key":"9_CR10","DOI":"10.1109\/IROS.2009.5354526"},{"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: Assistive Technology: From Research to Practice (Proc. of AAATE), vol.\u00a033, pp. 49\u201358 (2013)","key":"9_CR11","DOI":"10.3233\/978-1-61499-304-9-49"},{"doi-asserted-by":"crossref","unstructured":"Saunders, J., Salem, M., Dautenhahn, K.: Temporal issues in teaching robot behaviours in a knowledge-based sensorised home. In: Proc. 2nd International Workshop on Adaptive Robotic Ecologies (2013)","key":"9_CR12","DOI":"10.1007\/978-3-319-04406-4_11"},{"unstructured":"Saunders, J., Syrdal, D.S., Dautenhahn, K.: A template based user teaching system for an assistive robot. In: Proceedings of 3rd International Symposium on New Frontiers in Human Robot Interaction at AISB 2014 (2014)","key":"9_CR13"},{"issue":"5","key":"9_CR14","doi-asserted-by":"publisher","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 Intelligent Systems\u00a017(5), 32\u201341 (2002)","journal-title":"IEEE Intelligent Systems"},{"key":"9_CR15","series-title":"Lecture Notes in Computer Science","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: del Cerro, L.F., Herzig, A., Mengin, J. (eds.) JELIA 2012. LNCS, vol.\u00a07519, pp. 385\u2013397. Springer, Heidelberg (2012)"},{"doi-asserted-by":"crossref","unstructured":"Syrdal, D.S., Dautenhahn, K., Koay, K.L., Walters, M.L., Ho, W.C.: Sharing spaces, sharing lives\u2013the impact of robot mobility on user perception of a home companion robot. In: Proc. of 5th Int. Conf. on Social Robotics (ICSR), pp. 321\u2013330 (2013)","key":"9_CR16","DOI":"10.1007\/978-3-319-02675-6_32"},{"key":"9_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"347","DOI":"10.1007\/978-3-642-15651-9_26","volume-title":"Computer Safety, Reliability, and Security","author":"D. Walter","year":"2010","unstructured":"Walter, D., T\u00e4ubig, H., L\u00fcth, C.: Experiences in applying formal verification in robotics. In: Schoitsch, E. (ed.) SAFECOMP 2010. LNCS, vol.\u00a06351, pp. 347\u2013360. Springer, Heidelberg (2010)"},{"unstructured":"Webster, M., Dixon, C., Fisher, M., Salem, M., Saunders, J., Koay, K.L., Dautenhahn, K.: Formal verification of an autonomous personal robotic assistant. In: Proc. of Workshop on Formal Verification and Modeling in Human-Machine Systems (FVHMS), pp. 74\u201379. AAAI (2014)","key":"9_CR18"}],"container-title":["Lecture Notes in Computer Science","Advances in Autonomous Robotics Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-10401-0_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,4]],"date-time":"2025-05-04T09:45:35Z","timestamp":1746351935000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-10401-0_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319104003","9783319104010"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-10401-0_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}