{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,8]],"date-time":"2026-04-08T16:23:14Z","timestamp":1775665394811,"version":"3.50.1"},"reference-count":18,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"2","license":[{"start":{"date-parts":[[2016,4,1]],"date-time":"2016-04-01T00:00:00Z","timestamp":1459468800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/3.0\/legalcode"}],"funder":[{"DOI":"10.13039\/501100000266","name":"Engineering and Physical Sciences Research Council","doi-asserted-by":"publisher","award":["EP\/K006193"],"award-info":[{"award-number":["EP\/K006193"]}],"id":[{"id":"10.13039\/501100000266","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100000266","name":"Engineering and Physical Sciences Research Council","doi-asserted-by":"publisher","award":["EP\/K006509"],"award-info":[{"award-number":["EP\/K006509"]}],"id":[{"id":"10.13039\/501100000266","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Human-Mach. Syst."],"published-print":{"date-parts":[[2016,4]]},"DOI":"10.1109\/thms.2015.2425139","type":"journal-article","created":{"date-parts":[[2015,5,13]],"date-time":"2015-05-13T15:00:40Z","timestamp":1431529240000},"page":"186-196","source":"Crossref","is-referenced-by-count":56,"title":["Toward Reliable Autonomous Robotic Assistants Through Formal Verification: A Case Study"],"prefix":"10.1109","volume":"46","author":[{"given":"Matt","family":"Webster","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Clare","family":"Dixon","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Fisher","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Maha","family":"Salem","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Joe","family":"Saunders","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kheng Lee","family":"Koay","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kerstin","family":"Dautenhahn","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Joan","family":"Saez-Pons","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-02675-6_32"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2009.5354526"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-37346-6_9"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.5772\/7349"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2011.6095028"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/2461328.2461369"},{"key":"ref16","author":"acquisti","year":"2011","journal-title":"Brahms Tutorial TM01-0002 Version 1 2"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1002\/9781119991472"},{"key":"ref18","first-page":"74","article-title":"Formal verification of an autonomous personal robotic assistant","author":"webster","year":"0","journal-title":"Proc Formal Verification Modeling Human-Mach Syst Papers AAAI Spring Symp"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/MIS.2002.1039830"},{"key":"ref3","author":"holzmann","year":"2013"},{"key":"ref6","first-page":"385","article-title":"Verification of Brahms human–robot teamwork models","author":"stocker","year":"0","journal-title":"Proc 13th Eur Conf Logics Artif Intell"},{"key":"ref5","article-title":"Brahms mobile agents: Architecture and field tests","author":"clancey","year":"0","journal-title":"Proc Human–Robot Interaction Papers AAAI Fall Symp"},{"key":"ref8","first-page":"49","article-title":"A user friendly robot architecture for re-ablement and co-learning in a sensorised home","author":"saunders","year":"0","journal-title":"Proc 12th Eur AAATE Conf"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-22359-4_18"},{"key":"ref2","author":"holzmann","year":"2003","journal-title":"The SPIN Model Checker Primer and Reference Manual"},{"key":"ref1","author":"clarke","year":"1999","journal-title":"Model checking"},{"key":"ref9","first-page":"141","article-title":"Knowledge-driven user activity recognition for a smart house—Development and validation of a generic and low-cost, resource-efficient system","author":"duque","year":"2013","journal-title":"Proc 6th Int Conf Adv Comput -Human Interactions"}],"container-title":["IEEE Transactions on Human-Machine Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6221037\/7431959\/07106471.pdf?arnumber=7106471","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,12]],"date-time":"2022-01-12T11:44:37Z","timestamp":1641987877000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/7106471\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,4]]},"references-count":18,"journal-issue":{"issue":"2"},"URL":"https:\/\/doi.org\/10.1109\/thms.2015.2425139","relation":{},"ISSN":["2168-2291","2168-2305"],"issn-type":[{"value":"2168-2291","type":"print"},{"value":"2168-2305","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,4]]}}}