Research output per year
Research output per year
Farshid Amirabdollahian, Kerstin Dautenhahn, Clare Dixon, Kerstin Eder, Michael Fisher, Kheng Lee Koay, Evgeni Magid, Tony Pipe, Maha Salem, Joe Saunders, Matt Webster
Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)
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 |
| 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 | 5th International Conference on Social Robotics, ICSR 2013 |
|---|---|
| Country/Territory | United Kingdom |
| City | Bristol |
| Period | 27/10/13 → 29/10/13 |
Research output: Contribution to conference › Conference Poster › peer-review
Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)
Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)
Eder, K. I. (Principal Investigator)
23/04/13 → 23/10/16
Project: Research