"The Fridge Door is Open"-Temporal Verification of a Robotic Assistant's Behaviours (Won the Springer Award for Best Paper). Dixon, C., Webster, M. P., Saunders, J., Fisher, M., & Dautenhahn, K. In Mistry, M., Leonardis, A., Witkowski, M., & Melhuish, C., editors, Procs. of the 15th Annual Conference on Advances in Autonomous Robotics Systems (TAROS 2014), volume 8717, of Lecture Notes in Computer Science, pages 97–108, 2014. Springer. !["The Fridge Door is Open"-Temporal Verification of a Robotic Assistant's Behaviours (Won the Springer Award for Best Paper) [link]](https://bibbase.org/img/filetypes/link.svg "link")
Paper doi bibtex @inproceedings{DixonWSFD14,
Author = {Clare Dixon and Matthew P. Webster and Joe Saunders and Michael Fisher and Kerstin Dautenhahn},
Booktitle = {{Procs. of the 15th Annual Conference on Advances in Autonomous Robotics Systems ({TAROS} 2014)}},
Date-Added = {2018-03-06 23:07:47 +0000},
Date-Modified = {2018-03-06 23:07:47 +0000},
Doi = {10.1007/978-3-319-10401-0_9},
Editor = {Michael Mistry and Ales Leonardis and Mark Witkowski and Chris Melhuish},
Pages = {97--108},
Publisher = {Springer},
Series = {Lecture Notes in Computer Science},
Title = {{"The Fridge Door is Open"-Temporal Verification of a Robotic Assistant's Behaviours (Won the Springer Award for Best Paper)}},
Url = {https://doi.org/10.1007/978-3-319-10401-0_9},
Volume = {8717},
Year = {2014},
Bdsk-Url-1 = {https://doi.org/10.1007/978-3-319-10401-0_9}}
Downloads: 0
{"_id":"z65rEgG77Y73MZgkM","bibbaseid":"dixon-webster-saunders-fisher-dautenhahn-thefridgedoorisopentemporalverificationofaroboticassistantsbehaviourswonthespringerawardforbestpaper-2014","authorIDs":[],"author_short":["Dixon, C.","Webster, M. P.","Saunders, J.","Fisher, M.","Dautenhahn, K."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Clare"],"propositions":[],"lastnames":["Dixon"],"suffixes":[]},{"firstnames":["Matthew","P."],"propositions":[],"lastnames":["Webster"],"suffixes":[]},{"firstnames":["Joe"],"propositions":[],"lastnames":["Saunders"],"suffixes":[]},{"firstnames":["Michael"],"propositions":[],"lastnames":["Fisher"],"suffixes":[]},{"firstnames":["Kerstin"],"propositions":[],"lastnames":["Dautenhahn"],"suffixes":[]}],"booktitle":"Procs. of the 15th Annual Conference on Advances in Autonomous Robotics Systems (TAROS 2014)","date-added":"2018-03-06 23:07:47 +0000","date-modified":"2018-03-06 23:07:47 +0000","doi":"10.1007/978-3-319-10401-0_9","editor":[{"firstnames":["Michael"],"propositions":[],"lastnames":["Mistry"],"suffixes":[]},{"firstnames":["Ales"],"propositions":[],"lastnames":["Leonardis"],"suffixes":[]},{"firstnames":["Mark"],"propositions":[],"lastnames":["Witkowski"],"suffixes":[]},{"firstnames":["Chris"],"propositions":[],"lastnames":["Melhuish"],"suffixes":[]}],"pages":"97–108","publisher":"Springer","series":"Lecture Notes in Computer Science","title":"\"The Fridge Door is Open\"-Temporal Verification of a Robotic Assistant's Behaviours (Won the Springer Award for Best Paper)","url":"https://doi.org/10.1007/978-3-319-10401-0_9","volume":"8717","year":"2014","bdsk-url-1":"https://doi.org/10.1007/978-3-319-10401-0_9","bibtex":"@inproceedings{DixonWSFD14,\n\tAuthor = {Clare Dixon and Matthew P. Webster and Joe Saunders and Michael Fisher and Kerstin Dautenhahn},\n\tBooktitle = {{Procs. of the 15th Annual Conference on Advances in Autonomous Robotics Systems ({TAROS} 2014)}},\n\tDate-Added = {2018-03-06 23:07:47 +0000},\n\tDate-Modified = {2018-03-06 23:07:47 +0000},\n\tDoi = {10.1007/978-3-319-10401-0_9},\n\tEditor = {Michael Mistry and Ales Leonardis and Mark Witkowski and Chris Melhuish},\n\tPages = {97--108},\n\tPublisher = {Springer},\n\tSeries = {Lecture Notes in Computer Science},\n\tTitle = {{\"The Fridge Door is Open\"-Temporal Verification of a Robotic Assistant's Behaviours (Won the Springer Award for Best Paper)}},\n\tUrl = {https://doi.org/10.1007/978-3-319-10401-0_9},\n\tVolume = {8717},\n\tYear = {2014},\n\tBdsk-Url-1 = {https://doi.org/10.1007/978-3-319-10401-0_9}}\n\n","author_short":["Dixon, C.","Webster, M. P.","Saunders, J.","Fisher, M.","Dautenhahn, K."],"editor_short":["Mistry, M.","Leonardis, A.","Witkowski, M.","Melhuish, C."],"key":"DixonWSFD14","id":"DixonWSFD14","bibbaseid":"dixon-webster-saunders-fisher-dautenhahn-thefridgedoorisopentemporalverificationofaroboticassistantsbehaviourswonthespringerawardforbestpaper-2014","role":"author","urls":{"Paper":"https://doi.org/10.1007/978-3-319-10401-0_9"},"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"http://www.dcs.gla.ac.uk/research/S4/publications_refs/S4_biblio.bib","creationDate":"2019-11-06T12:38:47.243Z","downloads":0,"keywords":[],"search_terms":["fridge","door","open","temporal","verification","robotic","assistant","behaviours","won","springer","award","best","paper","dixon","webster","saunders","fisher","dautenhahn"],"title":"\"The Fridge Door is Open\"-Temporal Verification of a Robotic Assistant's Behaviours (Won the Springer Award for Best Paper)","year":2014,"dataSources":["C6mN2QfPXvscax4oL"]}