Towards the Verification of Human-robot Teams


Human-Agent collaboration is increasingly important. Not only do high-profile activities such as NASA missions to Mars intend to employ such teams, but our everyday activities involving interaction with computational devices falls into this category. In many of these scenarios, we are expected to trust that the agents will do what we expect and that the… (More)


4 Figures and Tables

Cite this paper

@inproceedings{Fisher2005TowardsTV, title={Towards the Verification of Human-robot Teams}, author={Michael Fisher and Edward J. Pearce and Mike Wooldridge and Maarten Sierhuis and Willem Visser and Rafael H. Bordini}, year={2005} }