Author:
Bordini Rafael H.,Fisher Michael,Sierhuis Maarten
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Formal Verification for Human-Robot Interaction in Medical Environments;Companion of the 2021 ACM/IEEE International Conference on Human-Robot Interaction;2021-03-08
2. A corroborative approach to verification and validation of human–robot teams;The International Journal of Robotics Research;2019-11-25
3. Authoring and Verifying Human-Robot Interactions;Proceedings of the 31st Annual ACM Symposium on User Interface Software and Technology;2018-10-11
4. Coverage-Driven Verification —;Hardware and Software: Verification and Testing;2015
5. Information Organization in the Airline Cockpit;Journal of Cognitive Engineering and Decision Making;2013-06-19