Toward Reliable Autonomous Robotic Assistants Through Formal Verification: A Case Study
Webster, M., Dixon, C., Fisher, M., Salem, M., Saunders, J., Koay, K. L., Dautenhahn, K.& Saez-Pons, J. 2015In : IEEE Transactions on Human-Machine Systems.Research output: Contribution to journal› Article
| Original language | English |
|---|---|
| Journal | IEEE Transactions on Human-Machine Systems |
| Journal publication date | 2015 |
| Early online date | 13/05/15 |
| DOIs | |
| State | In press |