Research Output
Formalizing and guaranteeing human-robot interaction
  As robots begin to interact closely with humans, we need to build systems worthy of trust regarding the safety and quality of the interaction.

  • Date:

    24 August 2021

  • Publication Status:

    Published

  • Publisher

    ACM New York, NY, USA

  • ISSN:

    0001-0782

  • Funders:

    Historic Funder (pre-Worktribe)

Citation

Kress-Gazit, H., Eder, K., Hoffman, G., Admoni, H., Argall, B., Ehlers, R., Heckman, C. R., Jansen, N., Knepper, R. A., Křetínský, J., Levy-Tzedek, S., Li, J., Murphey, T. D., Riek, L., & Sadigh, D. (2021). Formalizing and guaranteeing human-robot interaction. Communications of the ACM, 64(9), 78-84

Authors

Keywords

Human-robot interaction, Verification and Validation, Trustworthiness, Formal Verification, Simulation

Monthly Views:

No Data Available.
Available Documents