Towards the Verification of Human-robot Teams

  title={Towards the Verification of Human-robot Teams},
  author={Michael Fisher and Edward Pearce and Mike Wooldridge and Maarten Sierhuis and Willem Visser and Rafael H. Bordini},
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 totrust that the agents will do what we expect and that the agents and humans will work together as expected. But how can we be sure? In this paper, we bring together previous work on the verification of… CONTINUE READING