Title :
Formal verification of human-robot teamwork
Author :
Bordini, Rafael H. ; Fisher, Michael ; Sierhuis, Maarten
Author_Institution :
Dept. Comput. Sci., Univ. of Durham, Durham, UK
Abstract :
We here address the modelling and analysis of human-agent teamwork, specifically in the context of proposed astronaut-robot collaboration in future space missions. We are particularly interested in modelling such systems at a level that allows formal verification techniques to be applied, and hence carry out sophisticated analysis of the reliability and effectiveness of the teams before the system is deployed in real scenarios. In this paper we describe our ongoing research in this area.
Keywords :
aerospace robotics; control engineering computing; formal verification; groupware; human-robot interaction; team working; astronaut-robot collaboration; formal verification; human-agent teamwork; human-robot teamwork; space missions; Abstracts; Analytical models; Computational modeling; Humans; Integrated circuit modeling; Multiagent systems; Teamwork; Agent-Based Modelling; Teamwork; Verification;
Conference_Titel :
Human-Robot Interaction (HRI), 2009 4th ACM/IEEE International Conference on
Conference_Location :
La Jolla, CA
Print_ISBN :
978-1-60558-404-1
