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 |