Show simple item record

dc.contributor.authorDixon, C.
dc.contributor.authorWebster, M.
dc.contributor.authorSaunders, Joe
dc.contributor.authorFisher, M.
dc.contributor.authorDautenhahn, K.
dc.contributor.editorMistry, M.
dc.date.accessioned2014-09-04T15:24:27Z
dc.date.available2014-09-04T15:24:27Z
dc.date.issued2014
dc.identifier.citationDixon , C , Webster , M , Saunders , J , Fisher , M & Dautenhahn , K 2014 , "The fridge door is open" : temporal verification of a robotic assistant's behaviours . in M Mistry (ed.) , Advances in Autonomous Robotics : Procs 15th Annual Conf, TAROS 2014 . Lecture Notes in Computer Science (LNAI) , vol. 8717 , Springer Nature , pp. 97-108 , 15th Annual Conf, TAROS 2014 , Birmingham , United Kingdom , 1/09/14 . https://doi.org/10.1007/978-3-319-10401-0_9
dc.identifier.citationconference
dc.identifier.isbn978-3-319-10400-3
dc.identifier.isbn978-3-319-10401-0
dc.identifier.issn0302-9743
dc.identifier.otherPURE: 7414523
dc.identifier.otherPURE UUID: f876b3d4-bb5e-422e-88f6-270d73a08a2f
dc.identifier.otherScopus: 84906776896
dc.identifier.urihttp://hdl.handle.net/2299/14418
dc.description.abstractRobotic assistants are being designed to help, or work with, humans in a variety of situations from assistance within domestic situations, through medical care, to industrial settings. Whilst robots have been used in industry for some time they are often limited in terms of their range of movement or range of tasks. A new generation of robotic assistants have more freedom to move, and are able to autonomously make decisions and decide between alternatives. For people to adopt such robots they will have to be shown to be both safe and trustworthy. In this paper we focus on formal verification of a set of rules that have been developed to control the Care-O-bot, a robotic assistant located in a typical domestic environment. In particular, we apply model-checking, an automated and exhaustive algorithmic technique, to check whether formal temporal properties are satisfied on all the possible behaviours of the system. We prove a number of properties relating to robot behaviours, their priority and interruptibility, helping to support both safety and trustworthiness of robot behaviours.en
dc.language.isoeng
dc.publisherSpringer Nature
dc.relation.ispartofAdvances in Autonomous Robotics
dc.relation.ispartofseriesLecture Notes in Computer Science (LNAI)
dc.title"The fridge door is open" : temporal verification of a robotic assistant's behavioursen
dc.contributor.institutionSchool of Computer Science
dc.contributor.institutionScience & Technology Research Institute
dc.contributor.institutionAdaptive Systems
dc.contributor.institutionCentre for Computer Science and Informatics Research
rioxxterms.versionAM
rioxxterms.versionofrecordhttps://doi.org/10.1007/978-3-319-10401-0_9
rioxxterms.typeOther
herts.preservation.rarelyaccessedtrue


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record