Towards the formal verification of human-agent-robot teamwork

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...

Full description

Bibliographic Details
Main Author: Stocker, Richard
Other Authors: Fisher, Michael; Dixon, Clare; Dennis, Louise A.
Published: University of Liverpool 2013
Subjects:
004
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

Similar Items