Rafael H. Bordini, Michael Fisher, Maarten Sierhuis. Formal verification of human-robot teamwork. In Matthias Scheutz, François Michaud, Pamela J. Hinds, Brian Scassellati, editors, Proceedings of the 4th ACM/IEEE International Conference on Human Robot Interaction, HRI 2009, La Jolla, California, USA, March 9-13, 2009. pages 267-268, ACM, 2009. [doi]
Abstract is missing.