Author: Michael Fisher
Publication Overview
Publication period start: 2009
Number of co-authors: 2
Co-Authors
Number of publications with favourite co-authors
Productive Colleagues
Most productive colleagues in number of publications
Publications
Bordini,
Rafael H.,
Fisher,
Michael,
Sierhuis,
Maarten
(2009):
Formal verification of human-robot teamwork.
In:
Proceedings of the 4th ACM/IEEE International Conference on Human Robot Interaction
,
2009,
.
pp. 267-268.
https://doi.acm.org/10.1145/1514095.1514169