Verifying Brahms Human-Robot Teamwork Models

First Author: Stocker R
Attributed to:  Verifying Interoperability Requirements in Pervasive Systems funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Digital Object Identifier: http://dx.doi.org/10.1007/978-3-642-33353-8_30

Publication URI: http://dx.doi.org/10.1007/978-3-642-33353-8_30

Type: Book Chapter

Book Title: Logics in Artificial Intelligence (2012)

Page Reference: 385-397

ISBN: 978-3-642-33352-1

ISSN: 1388-1957