The Study Committee on “Sufficient Evidence? Building Certifiably Dependable Systems” has published the results of a Workshop on Software Certification and Dependability held on April 19-20, 2004.

The study committee is organized by the Computer Science and Telecommunications Board, National Academy of Science to assess current practices for developing and evaluating mission-critical software and to develop a research agenda for dependable software system development and certification.

For the workshop results see NAS/CSTB current projects

CSEL work on Remote perception and new concepts for understanding a remote environment through a robot's sensors is described at HRC and Remote Perception link

Latest paper Keyhole in HRI pdf

This covers work by Martin Voshel, Magnus Feil, James Tittle, David Tinapple, and David Woods.

For the general approach to HRI see: Human Robot Coordination