DocumentCode
565807
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
fYear
2009
fDate
11-13 March 2009
Firstpage
267
Lastpage
268
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Human-Robot Interaction (HRI), 2009 4th ACM/IEEE International Conference on
Conference_Location
La Jolla, CA
ISSN
2167-2121
Print_ISBN
978-1-60558-404-1
Type
conf
Filename
6256057
Link To Document