Browsing University of Hertfordshire by Author "Fisher, M."

Now showing items 1-3 of 3

    • Can you trust your robotic assistant? 

      Amirabdollahian, F.; Dautenhahn, K.; Dixon, C.; Eder, K.; Fisher, M.; Koay, K.L.; Magid, E.; Pipe, T.; Salem, M.; Saunders, J.; Webster, M. (Springer Nature, 2013-10)
      Robotic assistants are being developed to assist with a range of tasks at work and home. Besides designing and developing such robotic assistants, a key issue that needs to be addressed is showing that they are both safe ...

    • Formal verification of an autonomous personal robotic assistant 

      Webster, M.; Dixon, C.; Fisher, M.; Salem, Maha; Saunders, Joe; Koay, Kheng; Dautenhahn, K. (AAAI, 2014-03)
      Human–robot teams are likely to be used in a variety of situations wherever humans require the assistance of robotic systems. Obvious examples include healthcare and manufacturing, in which people need the assistance of ...

    • "The fridge door is open" : temporal verification of a robotic assistant's behaviours 

      Dixon, C.; Webster, M.; Saunders, Joe; Fisher, M.; Dautenhahn, K. (Springer Nature, 2014)
      Robotic 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 ...