Formal verification of an autonomous personal robotic assistant
Webster, M., Dixon, C., Fisher, M., Salem, M., Saunders, J., Koay, K.& Dautenhahn, K.Mar 2014Formal Verification and Modeling in Human-Machine Systems: Papers from the AAAI Spring Symposium (FVHMS 2014).AAAI, p. 74-79Research output: Chapter in Book/Report/Conference proceeding› Conference contribution
| Original language | English |
|---|---|
| Title of host publication | Formal Verification and Modeling in Human-Machine Systems |
| Subtitle of host publication | Papers from the AAAI Spring Symposium (FVHMS 2014) |
| Publisher | AAAI |
| Publication date | Mar 2014 |
| Pages | 74-79 |
| ISBN (Print) | 978-1-57735-655-4 |
| State | Published |