Projects per year
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.
Original language | English |
---|---|
Title of host publication | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
Pages | 571-573 |
Number of pages | 3 |
Volume | 8239 LNAI |
Publication status | Published - 2013 |
Event | 5th International Conference on Social Robotics, ICSR 2013 - Bristol, United Kingdom Duration: 27 Oct 2013 → 29 Oct 2013 |
Publication series
Name | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
---|---|
Volume | 8239 LNAI |
ISSN (Print) | 03029743 |
ISSN (Electronic) | 16113349 |
Conference
Conference | 5th International Conference on Social Robotics, ICSR 2013 |
---|---|
Country | United Kingdom |
City | Bristol |
Period | 27/10/13 → 29/10/13 |
Keywords
- Robotic assistants
- Safety
- Service robotics
- Trust
- Verification
Fingerprint Dive into the research topics of 'Can you trust your robotic assistant?'. Together they form a unique fingerprint.
Projects
- 1 Finished