![](/img/cover-not-exists.png)
Toward Reliable Autonomous Robotic Assistants Through Formal Verification: A Case Study
Webster, Matt, Dixon, Clare, Fisher, Michael, Salem, Maha, Saunders, Joe, Koay, Kheng Lee, Dautenhahn, Kerstin, Saez-Pons, JoanYear:
2015
Language:
english
Journal:
IEEE Transactions on Human-Machine Systems
DOI:
10.1109/thms.2015.2425139
File:
PDF, 539 KB
english, 2015