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. |
Year | DOI | Venue |
---|---|---|
2009 | 10.1145/1514095.1514169 | Human-Robot Interaction |
Keywords | Field | DocType |
proposed astronaut-robot collaboration,human-agent teamwork,sophisticated analysis,human-robot teamwork,real scenario,formal verification technique,ongoing research,future space mission,teamwork,multiagent systems,computational modeling,space missions,verification,formal verification | Teamwork,Simulation,Computer science,Multi-agent system,Space exploration,Human–robot interaction,Formal verification | Conference |
ISSN | ISBN | Citations |
2167-2121 | 978-1-60558-404-1 | 6 |
PageRank | References | Authors |
0.75 | 5 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Rafael H. Bordini | 1 | 1335 | 94.94 |
Michael Fisher | 2 | 691 | 49.23 |
Maarten Sierhuis | 3 | 432 | 43.85 |