Stocker, Richard
Towards the formal verification of human-agent-robot teamwork.
Doctor of Philosophy thesis, University of Liverpool.
![[thumbnail of Towards The Formal Verification of Human-Agent Teamwork]](https://livrepository.liverpool.ac.uk/style/images/fileicons/application_pdf.png) |
PDF (Towards The Formal Verification of Human-Agent Teamwork)
Richard_Stocker_Thesis.pdf - Author Accepted Manuscript Access to this file is embargoed until Unspecified. After the embargo period this will be available under License Creative Commons Attribution No Derivatives. Download (3MB) |
|
PDF (StockerRic_June2013_11773.pdf)
StockerRic_June2013_11773.pdf - Unspecified Available under License Creative Commons Attribution No Derivatives. Download (3MB) |
Abstract
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.
| Item Type: | Thesis (Doctor of Philosophy) |
|---|---|
| Additional Information: | Date: 2013-06 (completed) |
| Uncontrolled Keywords: | Verification, Agent, Teamwork, Human, Model Checking, Spin, Brahms, Digital Nurse, Home Helper |
| Divisions: | Faculty of Science and Engineering > School of Electrical Engineering, Electronics and Computer Science |
| Depositing User: | Symplectic Admin |
| Date Deposited: | 03 Sep 2013 11:38 |
| Last Modified: | 16 Dec 2022 04:39 |
| DOI: | 10.17638/00011773 |
| Supervisors: |
|
| URI: | https://livrepository.liverpool.ac.uk/id/eprint/11773 |
Altmetric
Altmetric
