{"id":"https://openalex.org/W3199661966","doi":"https://doi.org/10.1515/pjbr-2021-0028","title":"Use and usability of software verification methods to detect behaviour interference when teaching an assistive home companion robot: A proof-of-concept study","display_name":"Use and usability of software verification methods to detect behaviour interference when teaching an assistive home companion robot: A proof-of-concept study","publication_year":2021,"publication_date":"2021-01-01","ids":{"openalex":"https://openalex.org/W3199661966","doi":"https://doi.org/10.1515/pjbr-2021-0028","mag":"3199661966"},"language":"en","primary_location":{"id":"doi:10.1515/pjbr-2021-0028","is_oa":true,"landing_page_url":"https://doi.org/10.1515/pjbr-2021-0028","pdf_url":"https://www.degruyter.com/document/doi/10.1515/pjbr-2021-0028/pdf","source":{"id":"https://openalex.org/S4210226531","display_name":"Paladyn Journal of Behavioral Robotics","issn_l":"2080-9778","issn":["2080-9778","2081-4836"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310320322","host_organization_name":"De Gruyter Open","host_organization_lineage":["https://openalex.org/P4310320322","https://openalex.org/P4310313990"],"host_organization_lineage_names":["De Gruyter Open","De Gruyter"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Paladyn, Journal of Behavioral Robotics","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://www.degruyter.com/document/doi/10.1515/pjbr-2021-0028/pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5015253651","display_name":"Kheng Lee Koay","orcid":"https://orcid.org/0000-0002-5930-6421"},"institutions":[{"id":"https://openalex.org/I141584323","display_name":"University of Hertfordshire","ror":"https://ror.org/0267vjk41","country_code":"GB","type":"education","lineage":["https://openalex.org/I141584323"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"Kheng Lee Koay","raw_affiliation_strings":["Department of Computer Science, School of Physics, Engineering & Computer Science, University of Hertfordshire, College Lane, Hatfield , Hertfordshire , AL10 9AB , United Kingdom"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, School of Physics, Engineering & Computer Science, University of Hertfordshire, College Lane, Hatfield , Hertfordshire , AL10 9AB , United Kingdom","institution_ids":["https://openalex.org/I141584323"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5058762497","display_name":"Matt Webster","orcid":"https://orcid.org/0000-0002-8817-6881"},"institutions":[{"id":"https://openalex.org/I63098007","display_name":"Liverpool John Moores University","ror":"https://ror.org/04zfme737","country_code":"GB","type":"education","lineage":["https://openalex.org/I63098007"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Matt Webster","raw_affiliation_strings":["School of Computer Science and Mathematics, Liverpool John Moores University , Liverpool , L2 2QP , United Kingdom"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Computer Science and Mathematics, Liverpool John Moores University , Liverpool , L2 2QP , United Kingdom","institution_ids":["https://openalex.org/I63098007"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5013515770","display_name":"Clare Dixon","orcid":"https://orcid.org/0000-0002-4610-9533"},"institutions":[{"id":"https://openalex.org/I28407311","display_name":"University of Manchester","ror":"https://ror.org/027m9bs27","country_code":"GB","type":"education","lineage":["https://openalex.org/I28407311"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Clare Dixon","raw_affiliation_strings":["Department of Computer Science, University of Manchester , Manchester , M13 9PL , United Kingdom"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Manchester , Manchester , M13 9PL , United Kingdom","institution_ids":["https://openalex.org/I28407311"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5084673945","display_name":"Paul Gainer","orcid":"https://orcid.org/0000-0002-5323-8501"},"institutions":[{"id":"https://openalex.org/I146655781","display_name":"University of Liverpool","ror":"https://ror.org/04xs57h96","country_code":"GB","type":"education","lineage":["https://openalex.org/I146655781"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Paul Gainer","raw_affiliation_strings":["Department of Computer Science, University of Liverpool , Liverpool , United Kingdom"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Liverpool , Liverpool , United Kingdom","institution_ids":["https://openalex.org/I146655781"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5083583674","display_name":"Dag Sverre Syrdal","orcid":"https://orcid.org/0000-0002-1339-4382"},"institutions":[{"id":"https://openalex.org/I141584323","display_name":"University of Hertfordshire","ror":"https://ror.org/0267vjk41","country_code":"GB","type":"education","lineage":["https://openalex.org/I141584323"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Dag Syrdal","raw_affiliation_strings":["Department of Computer Science, School of Physics, Engineering & Computer Science, University of Hertfordshire, College Lane, Hatfield , Hertfordshire , AL10 9AB , United Kingdom"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, School of Physics, Engineering & Computer Science, University of Hertfordshire, College Lane, Hatfield , Hertfordshire , AL10 9AB , United Kingdom","institution_ids":["https://openalex.org/I141584323"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5067587488","display_name":"Michael Fisher","orcid":"https://orcid.org/0000-0002-0875-3862"},"institutions":[{"id":"https://openalex.org/I28407311","display_name":"University of Manchester","ror":"https://ror.org/027m9bs27","country_code":"GB","type":"education","lineage":["https://openalex.org/I28407311"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Michael Fisher","raw_affiliation_strings":["Department of Computer Science, University of Manchester , Manchester , M13 9PL , United Kingdom"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Manchester , Manchester , M13 9PL , United Kingdom","institution_ids":["https://openalex.org/I28407311"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5059371010","display_name":"Kerstin Dautenhahn","orcid":"https://orcid.org/0000-0002-9263-3897"},"institutions":[{"id":"https://openalex.org/I151746483","display_name":"University of Waterloo","ror":"https://ror.org/01aff2v68","country_code":"CA","type":"education","lineage":["https://openalex.org/I151746483"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Kerstin Dautenhahn","raw_affiliation_strings":["Departments of Electrical and Computer Engineering and Systems Design Engineering, University of Waterloo , Ontario , Canada"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Departments of Electrical and Computer Engineering and Systems Design Engineering, University of Waterloo , Ontario , Canada","institution_ids":["https://openalex.org/I151746483"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5015253651"],"corresponding_institution_ids":["https://openalex.org/I141584323"],"apc_list":{"value":1000,"currency":"EUR","value_usd":1078},"apc_paid":{"value":1000,"currency":"EUR","value_usd":1078},"fwci":1.0445,"has_fulltext":true,"cited_by_count":7,"citation_normalized_percentile":{"value":0.77968921,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":"12","issue":"1","first_page":"402","last_page":"422"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10709","display_name":"Social Robot Interaction and HRI","score":0.9977999925613403,"subfield":{"id":"https://openalex.org/subfields/3207","display_name":"Social Psychology"},"field":{"id":"https://openalex.org/fields/32","display_name":"Psychology"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},"topics":[{"id":"https://openalex.org/T10709","display_name":"Social Robot Interaction and HRI","score":0.9977999925613403,"subfield":{"id":"https://openalex.org/subfields/3207","display_name":"Social Psychology"},"field":{"id":"https://openalex.org/fields/32","display_name":"Psychology"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T14074","display_name":"Persona Design and Applications","score":0.9836999773979187,"subfield":{"id":"https://openalex.org/subfields/1709","display_name":"Human-Computer Interaction"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10653","display_name":"Robot Manipulation and Learning","score":0.9782000184059143,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/robot","display_name":"Robot","score":0.780769944190979},{"id":"https://openalex.org/keywords/usability","display_name":"Usability","score":0.7164784669876099},{"id":"https://openalex.org/keywords/human\u2013computer-interaction","display_name":"Human\u2013computer interaction","score":0.6958569884300232},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6188371181488037},{"id":"https://openalex.org/keywords/personalization","display_name":"Personalization","score":0.5229792594909668},{"id":"https://openalex.org/keywords/human\u2013robot-interaction","display_name":"Human\u2013robot interaction","score":0.4631689488887787},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.4571838080883026},{"id":"https://openalex.org/keywords/interference","display_name":"Interference (communication)","score":0.4471321105957031},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.3771964907646179},{"id":"https://openalex.org/keywords/world-wide-web","display_name":"World Wide Web","score":0.07699140906333923}],"concepts":[{"id":"https://openalex.org/C90509273","wikidata":"https://www.wikidata.org/wiki/Q11012","display_name":"Robot","level":2,"score":0.780769944190979},{"id":"https://openalex.org/C170130773","wikidata":"https://www.wikidata.org/wiki/Q216378","display_name":"Usability","level":2,"score":0.7164784669876099},{"id":"https://openalex.org/C107457646","wikidata":"https://www.wikidata.org/wiki/Q207434","display_name":"Human\u2013computer interaction","level":1,"score":0.6958569884300232},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6188371181488037},{"id":"https://openalex.org/C183003079","wikidata":"https://www.wikidata.org/wiki/Q1000371","display_name":"Personalization","level":2,"score":0.5229792594909668},{"id":"https://openalex.org/C145460709","wikidata":"https://www.wikidata.org/wiki/Q859951","display_name":"Human\u2013robot interaction","level":3,"score":0.4631689488887787},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.4571838080883026},{"id":"https://openalex.org/C32022120","wikidata":"https://www.wikidata.org/wiki/Q797225","display_name":"Interference (communication)","level":3,"score":0.4471321105957031},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3771964907646179},{"id":"https://openalex.org/C136764020","wikidata":"https://www.wikidata.org/wiki/Q466","display_name":"World Wide Web","level":1,"score":0.07699140906333923},{"id":"https://openalex.org/C127162648","wikidata":"https://www.wikidata.org/wiki/Q16858953","display_name":"Channel (broadcasting)","level":2,"score":0.0},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.0},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0}],"mesh":[],"locations_count":6,"locations":[{"id":"doi:10.1515/pjbr-2021-0028","is_oa":true,"landing_page_url":"https://doi.org/10.1515/pjbr-2021-0028","pdf_url":"https://www.degruyter.com/document/doi/10.1515/pjbr-2021-0028/pdf","source":{"id":"https://openalex.org/S4210226531","display_name":"Paladyn Journal of Behavioral Robotics","issn_l":"2080-9778","issn":["2080-9778","2081-4836"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310320322","host_organization_name":"De Gruyter Open","host_organization_lineage":["https://openalex.org/P4310320322","https://openalex.org/P4310313990"],"host_organization_lineage_names":["De Gruyter Open","De Gruyter"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Paladyn, Journal of Behavioral Robotics","raw_type":"journal-article"},{"id":"pmh:oai:pure.atira.dk:openaire/00ce2eb4-a6d2-41b2-a160-efdc4c4f70b6","is_oa":true,"landing_page_url":"https://research.manchester.ac.uk/en/publications/00ce2eb4-a6d2-41b2-a160-efdc4c4f70b6","pdf_url":null,"source":{"id":"https://openalex.org/S4306400662","display_name":"Research Explorer (The University of Manchester)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I28407311","host_organization_name":"University of Manchester","host_organization_lineage":["https://openalex.org/I28407311"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Koay, K L, Webster, M, Dixon, C, Gainer, P, Syrdal, D, Fisher, M & Dautenhahn, K 2021, 'Use and Usability of Software Verification Methods to Detect Behaviour Interference when Teaching an Assistive Home Companion Robot : A Proof-of-Concept Study', Paladyn: journal of behavioral robotics, vol. 12, no. 1. https://doi.org/10.1515/pjbr-2021-0028","raw_type":"info:eu-repo/semantics/article"},{"id":"pmh:oai:researchonline.ljmu.ac.uk:15600","is_oa":false,"landing_page_url":null,"pdf_url":null,"source":{"id":"https://openalex.org/S4306401246","display_name":"Liverpool John Moores University","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I63098007","host_organization_name":"Liverpool John Moores University","host_organization_lineage":["https://openalex.org/I63098007"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":"","raw_type":"Article"},{"id":"pmh:oai:doaj.org/article:12c294c273a34e7c9eda12b8cc747d9c","is_oa":true,"landing_page_url":"https://doaj.org/article/12c294c273a34e7c9eda12b8cc747d9c","pdf_url":null,"source":{"id":"https://openalex.org/S4306401280","display_name":"DOAJ (DOAJ: Directory of Open Access Journals)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Paladyn, Vol 12, Iss 1, Pp 402-422 (2021)","raw_type":"article"},{"id":"pmh:oai:pure.atira.dk:publications/00ce2eb4-a6d2-41b2-a160-efdc4c4f70b6","is_oa":true,"landing_page_url":"https://www.research.manchester.ac.uk/portal/en/publications/use-and-usability-of-software-verification-methods-to-detect-behaviour-interference-when-teaching-an-assistive-home-companion-robot(00ce2eb4-a6d2-41b2-a160-efdc4c4f70b6).html","pdf_url":null,"source":{"id":"https://openalex.org/S4306400662","display_name":"Research Explorer (The University of Manchester)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I28407311","host_organization_name":"University of Manchester","host_organization_lineage":["https://openalex.org/I28407311"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Koay, K L, Webster, M, Dixon, C, Gainer, P, Syrdal, D, Fisher, M & Dautenhahn, K 2021, 'Use and Usability of Software Verification Methods to Detect Behaviour Interference when Teaching an Assistive Home Companion Robot : A Proof-of-Concept Study', Paladyn: journal of behavioral robotics, vol. 12, no. 1. https://doi.org/10.1515/pjbr-2021-0028","raw_type":"info:eu-repo/semantics/article"},{"id":"pmh:oai:uhra.herts.ac.uk:2299/25113","is_oa":true,"landing_page_url":"http://hdl.handle.net/2299/25113","pdf_url":null,"source":{"id":"https://openalex.org/S4306400241","display_name":"University of Hertfordshire Research Archive (University of Hertfordshire)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I141584323","host_organization_name":"University of Hertfordshire","host_organization_lineage":["https://openalex.org/I141584323"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":null}],"best_oa_location":{"id":"doi:10.1515/pjbr-2021-0028","is_oa":true,"landing_page_url":"https://doi.org/10.1515/pjbr-2021-0028","pdf_url":"https://www.degruyter.com/document/doi/10.1515/pjbr-2021-0028/pdf","source":{"id":"https://openalex.org/S4210226531","display_name":"Paladyn Journal of Behavioral Robotics","issn_l":"2080-9778","issn":["2080-9778","2081-4836"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310320322","host_organization_name":"De Gruyter Open","host_organization_lineage":["https://openalex.org/P4310320322","https://openalex.org/P4310313990"],"host_organization_lineage_names":["De Gruyter Open","De Gruyter"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Paladyn, Journal of Behavioral Robotics","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G2838024195","display_name":"UK Robotics and Artificial Intelligence Hub for Offshore Energy Asset Integrity Management","funder_award_id":"EP/R026173/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G2898516364","display_name":null,"funder_award_id":"EP/R026084","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G3041203688","display_name":null,"funder_award_id":"EP/R026092","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G3177419169","display_name":"Trustworthy Robotic Assistants","funder_award_id":"EP/K006193/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G3579520705","display_name":null,"funder_award_id":"EP/K006193","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G4278421577","display_name":null,"funder_award_id":"EP/K006193/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G4750174167","display_name":null,"funder_award_id":"EP/K006509","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G6465377262","display_name":"Robotics and Artificial Intelligence for Nuclear (RAIN)","funder_award_id":"EP/R026084/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G6722625386","display_name":"Trustworthy Robotic Assistants","funder_award_id":"EP/K006509/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G8572172379","display_name":"Future AI and Robotics Hub for Space (FAIR-SPACE)","funder_award_id":"EP/R026092/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G8602921712","display_name":null,"funder_award_id":"EP/R026173","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"}],"funders":[{"id":"https://openalex.org/F4320320005","display_name":"Royal Academy of Engineering","ror":"https://ror.org/0526snb40"},{"id":"https://openalex.org/F4320334627","display_name":"Engineering and Physical Sciences Research Council","ror":"https://ror.org/0439y7842"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3199661966.pdf","grobid_xml":"https://content.openalex.org/works/W3199661966.grobid-xml"},"referenced_works_count":65,"referenced_works":["https://openalex.org/W51552255","https://openalex.org/W173408567","https://openalex.org/W182308727","https://openalex.org/W419646410","https://openalex.org/W1489391022","https://openalex.org/W1494215347","https://openalex.org/W1504975347","https://openalex.org/W1505483226","https://openalex.org/W1551323161","https://openalex.org/W1585745932","https://openalex.org/W1599768004","https://openalex.org/W1608490958","https://openalex.org/W1679907412","https://openalex.org/W1862398452","https://openalex.org/W1877093828","https://openalex.org/W1963990783","https://openalex.org/W1976900614","https://openalex.org/W1997066047","https://openalex.org/W2058919032","https://openalex.org/W2073266192","https://openalex.org/W2075335351","https://openalex.org/W2104999980","https://openalex.org/W2109596994","https://openalex.org/W2111448117","https://openalex.org/W2115309705","https://openalex.org/W2128319160","https://openalex.org/W2128665694","https://openalex.org/W2133254423","https://openalex.org/W2141973273","https://openalex.org/W2150189917","https://openalex.org/W2155015876","https://openalex.org/W2186442710","https://openalex.org/W2295204826","https://openalex.org/W2296755157","https://openalex.org/W2327882994","https://openalex.org/W2500624988","https://openalex.org/W2542434540","https://openalex.org/W2592799411","https://openalex.org/W2608358627","https://openalex.org/W2750537158","https://openalex.org/W2772255676","https://openalex.org/W2795616965","https://openalex.org/W2811472820","https://openalex.org/W2888378763","https://openalex.org/W2896381102","https://openalex.org/W2901136733","https://openalex.org/W2940721292","https://openalex.org/W2941860457","https://openalex.org/W2951356022","https://openalex.org/W2973204678","https://openalex.org/W2996154616","https://openalex.org/W3010707504","https://openalex.org/W3021864482","https://openalex.org/W3026868555","https://openalex.org/W3038453031","https://openalex.org/W3038499305","https://openalex.org/W3121827321","https://openalex.org/W3154743871","https://openalex.org/W4252709336","https://openalex.org/W4255336861","https://openalex.org/W4285719527","https://openalex.org/W4299627282","https://openalex.org/W6691227101","https://openalex.org/W6745148249","https://openalex.org/W6756486208"],"related_works":["https://openalex.org/W2429057255","https://openalex.org/W2187546663","https://openalex.org/W148745890","https://openalex.org/W4389670110","https://openalex.org/W2611942503","https://openalex.org/W4287179229","https://openalex.org/W3205513966","https://openalex.org/W3120459843","https://openalex.org/W4366547574","https://openalex.org/W3200191727"],"abstract_inverted_index":{"Abstract":[0],"When":[1],"studying":[2],"the":[3,21,24,42,60,107,111,122,143,146,176,213,222,240],"use":[4,130],"of":[5,23,44,62,131,140,145,186,239,249,263],"assistive":[6,264],"robots":[7,15,267],"in":[8,95,150],"home":[9,170,265],"environments,":[10],"and":[11,36,51,81,104,148,203,261],"especially":[12],"how":[13,98,206],"such":[14,99],"can":[16,101],"be":[17,76,91,102],"personalised":[18],"to":[19,31,41,106,180,201,207,232],"meet":[20],"needs":[22],"resident,":[25],"key":[26],"concerns":[27],"are":[28],"issues":[29],"related":[30],"behaviour":[32,34,63,113,124,132,197,223],"verification,":[33],"interference":[35,64,189,198,218,229],"safety.":[37],"Here,":[38],"personalisation":[39],"refers":[40],"teaching":[43,114,224,235],"new":[45],"robot":[46,71,165,177],"behaviours":[47,72,80,84,141,178],"by":[48,66,78,221],"both":[49],"technical":[50,251],"non-technical":[52],"end":[53],"users.":[54],"In":[55],"this":[56],"article,":[57],"we":[58,117],"consider":[59],"issue":[61],"caused":[65,188],"situations":[67,100],"where":[68],"newly":[69],"taught":[70,175],"may":[73],"affect":[74],"or":[75,87],"affected":[77],"existing":[79],"thus,":[82],"those":[83,209],"will":[85],"not":[86,89,244],"might":[88],"ever":[90],"executed.":[92],"We":[93,109,154,211,242],"focus":[94],"particular":[96],"on":[97,137,205,216],"detected":[103,217],"presented":[105],"user.":[108],"describe":[110],"human\u2013robot":[112,158],"system":[115],"that":[116,228,268],"developed":[118],"as":[119,121,219],"well":[120],"formal":[123],"checking":[125,133],"methods":[126],"used.":[127],"The":[128],"online":[129],"is":[134],"demonstrated,":[135],"based":[136],"static":[138],"analysis":[139],"during":[142,234],"operation":[144],"robot,":[147],"evaluated":[149],"a":[151,156,168,246,256],"user":[152],"study.":[153],"conducted":[155],"proof-of-concept":[157],"interaction":[159],"study":[160],"with":[161,190],"an":[162,237],"autonomous,":[163],"multi-purpose":[164],"operating":[166],"within":[167],"smart":[169],"environment.":[171],"Twenty":[172],"participants":[173,202,233],"individually":[174],"according":[179],"instructions":[181],"they":[182],"were":[183],"given,":[184],"some":[185],"which":[187],"other":[191],"behaviours.":[192],"A":[193],"mechanism":[194],"for":[195],"detecting":[196],"provided":[199],"feedback":[200],"suggestions":[204],"resolve":[208],"conflicts.":[210],"assessed":[212],"participants\u2019":[214,250],"views":[215],"reported":[220],"system.":[225],"Results":[226],"indicate":[227],"warnings":[230],"given":[231],"provoked":[236],"understanding":[238],"issue.":[241],"did":[243],"find":[245],"significant":[247],"influence":[248],"background.":[252],"These":[253],"results":[254],"highlight":[255],"promising":[257],"path":[258],"towards":[259],"verification":[260],"validation":[262],"companion":[266],"allow":[269],"end-user":[270],"personalisation.":[271]},"counts_by_year":[{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":2}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2021-09-27T00:00:00"}