University of Hertfordshire

By the same authors

Can you trust your robotic assistant?

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Documents

  • 906896

    Accepted author manuscript, 145 KB, PDF document

View graph of relations
Original languageEnglish
Title of host publicationSocial Robotics
Subtitle of host publicationProcs 5th Int Conf, ICSR 2013
EditorsG. Herrmann
PublisherSpringer
Pages571-573
Number of pages3
ISBN (Print)9783319026749
Publication statusPublished - Oct 2013
Event5th Int Conf on Social Robotics - Bristol, United Kingdom
Duration: 27 Oct 201329 Oct 2013

Publication series

NameLecture Notes in Computer Science (LNAI)
Volume8239

Conference

Conference5th Int Conf on Social Robotics
CountryUnited Kingdom
CityBristol
Period27/10/1329/10/13

Abstract

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 and trustworthy. We discuss our approach to this using formal verification, simulation-based testing and formative user evaluation.

Projects

ID: 2820118