DMCA
ANALYSING HUMAN-AGENT TEAMWORK
by
Rafael H. Bordini
,
Michael Fisher
,
Maarten Sierhuis
| Citations: | 1 - 0 self |
BibTeX
@MISC{Bordini_analysinghuman-agent,
author = {Rafael H. Bordini and Michael Fisher and Maarten Sierhuis},
title = {ANALYSING HUMAN-AGENT TEAMWORK},
year = {}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
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. 1
