Verification and Validation of Robotic Assistants
Dr Clare Dixon
Senior Lecturer, University of Liverpool
Robot assistants are being developed to help, or work, closely with humans in industrial, domestic and health care environments. In these environments the robots will need to be able to act autonomously and make decisions to choose between a range of activities and yet will need to operate close to, or in collaboration with humans. We need to make sure that such robotic assistants are reliable, safe and trustworthy.
In this talk I will discuss our experiences from the EPSRC-funded Trustworthy Robot Assistants project in developing and applying three approaches to the verification and validation of robotic assistants. In particular, we consider two scenarios: a personal robot assistant located in a domestic style house, and a robotic co-worker for a cooperative manufacturing task.