Towards the formal verification of human-agent-robot teamwork
The formal analysis of computational processes is by now a well-established field. However, in practical scenarios, the problem of how we can formally verify interactions with humans still remains. This thesis is concerned with addressing this problem through the use of the Brahms language. Our over...
Main Author: | |
---|---|
Other Authors: | |
Published: |
University of Liverpool
2013
|
Subjects: | |
Online Access: | http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.579399 |
id |
ndltd-bl.uk-oai-ethos.bl.uk-579399 |
---|---|
record_format |
oai_dc |
spelling |
ndltd-bl.uk-oai-ethos.bl.uk-5793992017-05-24T03:24:42ZTowards the formal verification of human-agent-robot teamworkStocker, RichardFisher, Michael; Dixon, Clare; Dennis, Louise A.2013The formal analysis of computational processes is by now a well-established field. However, in practical scenarios, the problem of how we can formally verify interactions with humans still remains. This thesis is concerned with addressing this problem through the use of the Brahms language. Our overall goal is to provide formal verification techniques for human-agent teamwork, particularly astronaut-robot teamwork on future space missions and human-robot interactions in health-care scenarios modelled in Brahms.004University of Liverpoolhttp://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.579399http://livrepository.liverpool.ac.uk/11773/Electronic Thesis or Dissertation |
collection |
NDLTD |
sources |
NDLTD |
topic |
004 |
spellingShingle |
004 Stocker, Richard Towards the formal verification of human-agent-robot teamwork |
description |
The formal analysis of computational processes is by now a well-established field. However, in practical scenarios, the problem of how we can formally verify interactions with humans still remains. This thesis is concerned with addressing this problem through the use of the Brahms language. Our overall goal is to provide formal verification techniques for human-agent teamwork, particularly astronaut-robot teamwork on future space missions and human-robot interactions in health-care scenarios modelled in Brahms. |
author2 |
Fisher, Michael; Dixon, Clare; Dennis, Louise A. |
author_facet |
Fisher, Michael; Dixon, Clare; Dennis, Louise A. Stocker, Richard |
author |
Stocker, Richard |
author_sort |
Stocker, Richard |
title |
Towards the formal verification of human-agent-robot teamwork |
title_short |
Towards the formal verification of human-agent-robot teamwork |
title_full |
Towards the formal verification of human-agent-robot teamwork |
title_fullStr |
Towards the formal verification of human-agent-robot teamwork |
title_full_unstemmed |
Towards the formal verification of human-agent-robot teamwork |
title_sort |
towards the formal verification of human-agent-robot teamwork |
publisher |
University of Liverpool |
publishDate |
2013 |
url |
http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.579399 |
work_keys_str_mv |
AT stockerrichard towardstheformalverificationofhumanagentrobotteamwork |
_version_ |
1718450699413487616 |