Author: Michael Fisher
Publications
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