登入選單

返回Google圖書搜尋

Towards the Formal Verification of Human-agent-robot Teamwork

Richard Stocker

出版	University of Liverpool, 2013
URL	http://books.google.com.hk/books?id=L3G1ngEACAAJ&hl=&source=gbs_api

註釋

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.