"The fridge door is open": temporal verification of a robotic assistant's behaviours
Dixon, C., Webster, M., Saunders, J., Fisher, M. & Dautenhahn, K.2014Advances in Autonomous Robotics: Procs 15th Annual Conf, TAROS 2014. Mistry, M. (ed.). Springer, p. 97-108 (Lecture Notes in Computer Science (LNAI); vol. 8717)Research output: Chapter in Book/Report/Conference proceeding› Conference contribution
| Original language | English |
|---|---|
| Title of host publication | Advances in Autonomous Robotics |
| Subtitle of host publication | Procs 15th Annual Conf, TAROS 2014 |
| Editors | M. Mistry |
| Publisher | Springer |
| Publication date | 2014 |
| Pages | 97-108 |
| ISBN (Electronic) | 978-3-319-10401-0 |
| ISBN (Print) | 978-3-319-10400-3 |
| DOIs | |
| State | Published |
Publication series
| Name | Lecture Notes in Computer Science (LNAI) |
|---|---|
| Volume | 8717 |
| ISSN (Print) | 0302-9743 |
Conference
| Conference | 15th Annual Conf, TAROS 2014 |
|---|---|
| Country | United Kingdom |
| City | Birmingham |
| Period | 1/09/14→ 3/09/14 |