@inproceedings{DBLP:conf/taros/DixonWSFD14,
  author    = {Clare Dixon and
               Matthew P. Webster and
               Joe Saunders and
               Michael Fisher and
               Kerstin Dautenhahn},
  title     = {"The Fridge Door is Open"-Temporal Verification of a Robotic Assistant's
               Behaviours},
  booktitle = {Advances in Autonomous Robotics Systems - 15th Annual Conference,
               {TAROS} 2014, Birmingham, UK, September 1-3, 2014. Proceedings},
  pages     = {97--108},
  year      = {2014},
  crossref  = {DBLP:conf/taros/2014},
  url       = {https://doi.org/10.1007/978-3-319-10401-0\_9},
  doi       = {10.1007/978-3-319-10401-0\_9},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/taros/DixonWSFD14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"7FXn8PJJ5av7LedsQ","bibbaseid":"dixon-webster-saunders-fisher-dautenhahn-thefridgedoorisopentemporalverificationofaroboticassistantsbehaviours-2014","downloads":0,"creationDate":"2016-05-26T11:21:07.718Z","title":"\"The Fridge Door is Open\"-Temporal Verification of a Robotic Assistant's Behaviours","author_short":["Dixon, C.","Webster, M. P.","Saunders, J.","Fisher, M.","Dautenhahn, K."],"year":2014,"bibtype":"inproceedings","biburl":"https://raw.githubusercontent.com/autonomy-and-verification/autonomy-and-verification.github.io/master/pubs.bib","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":[]}],"title":"\"The Fridge Door is Open\"-Temporal Verification of a Robotic Assistant's Behaviours","booktitle":"Advances in Autonomous Robotics Systems - 15th Annual Conference, TAROS 2014, Birmingham, UK, September 1-3, 2014. Proceedings","pages":"97–108","year":"2014","crossref":"DBLP:conf/taros/2014","url":"https://doi.org/10.1007/978-3-319-10401-0\\_9","doi":"10.1007/978-3-319-10401-0_9","timestamp":"Fri, 02 Nov 2018 00:00:00 +0100","biburl":"https://dblp.org/rec/bib/conf/taros/DixonWSFD14","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/taros/DixonWSFD14,\n author = {Clare Dixon and\n Matthew P. Webster and\n Joe Saunders and\n Michael Fisher and\n Kerstin Dautenhahn},\n title = {\"The Fridge Door is Open\"-Temporal Verification of a Robotic Assistant's\n Behaviours},\n booktitle = {Advances in Autonomous Robotics Systems - 15th Annual Conference,\n {TAROS} 2014, Birmingham, UK, September 1-3, 2014. Proceedings},\n pages = {97--108},\n year = {2014},\n crossref = {DBLP:conf/taros/2014},\n url = {https://doi.org/10.1007/978-3-319-10401-0\\_9},\n doi = {10.1007/978-3-319-10401-0\\_9},\n timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},\n biburl = {https://dblp.org/rec/bib/conf/taros/DixonWSFD14},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Dixon, C.","Webster, M. P.","Saunders, J.","Fisher, M.","Dautenhahn, K."],"key":"DBLP:conf/taros/DixonWSFD14","id":"DBLP:conf/taros/DixonWSFD14","bibbaseid":"dixon-webster-saunders-fisher-dautenhahn-thefridgedoorisopentemporalverificationofaroboticassistantsbehaviours-2014","role":"author","urls":{"Paper":"https://doi.org/10.1007/978-3-319-10401-0\\_9"},"metadata":{"authorlinks":{}},"downloads":0},"search_terms":["fridge","door","open","temporal","verification","robotic","assistant","behaviours","dixon","webster","saunders","fisher","dautenhahn"],"keywords":[],"authorIDs":[],"dataSources":["77JvGFZQteoFsRiyX","sf65xF3tXwz6TBuoQ","iqRbmbCgpDeaBjend"]}