Toward Reliable Autonomous Robotic Assistants Through...

  • Main
  • 2015
  • Toward Reliable Autonomous Robotic Assistants Through...
IEEE Transactions on Human-Machine Systems 2015

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, Joan
How much do you like this book?
What’s the quality of the file?
Download the book for quality assessment
What’s the quality of the downloaded files?
Year:
2015
Language:
english
Journal:
IEEE Transactions on Human-Machine Systems
DOI:
10.1109/thms.2015.2425139
File:
PDF, 539 KB
english, 2015
Conversion to is in progress
Conversion to is failed