Up a level |
Number of items: 1.
Stocker, R
(2000)
Towards the formal verification of human-agent-robot teamwork.
[UNSPECIFIED]
Up a level |
Stocker, R
(2000)
Towards the formal verification of human-agent-robot teamwork.
[UNSPECIFIED]
Research Support, University of Liverpool
Sydney Jones Library, Abercromby Square
Liverpool
L69 3DA,
UK
+44 (0)151 794 0000