Verification and Validation of Robot Assistants
Robot assistants are being developed to help and work closely with humans in environments such as industrial, domestic and health care. The robots will need to be able to act autonomously, make decisions, 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 robot 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 robot assistants. In particular, we consider two scenarios: a personal robot assistant located in a domestic style house, and a robot co-worker for a cooperative manufacturing task.
Clare Dixon is a Reader in the Department of Computer Science and member of the Centre for Autonomous Systems Technology, at the University of Liverpool, where she heads the Robotics and Autonomous Systems Research Group. She has over twenty years experience in developing and applying temporal verification methods, including temporal proof and model checking. Recently, she has been applying verification to robotic systems including swarm robotics and personal assistant robots. She has been an investigator on ten externally funded projects, including a recent EPSRC funded project developing and applying verification and validation techniques to personal assistant and manufacturing robots.