Verification and Synthesis of Human-Robot Interaction (Dagstuhl Seminar 19081)

Authors Rachid Alami, Kerstin I. Eder, Guy Hoffman, Hadas Kress-Gazit and all authors of the abstracts in this report



PDF
Thumbnail PDF

File

DagRep.9.2.91.pdf
  • Filesize: 8.85 MB
  • 20 pages

Document Identifiers

Author Details

Rachid Alami
Kerstin I. Eder
Guy Hoffman
Hadas Kress-Gazit
and all authors of the abstracts in this report

Cite AsGet BibTex

Rachid Alami, Kerstin I. Eder, Guy Hoffman, and Hadas Kress-Gazit. Verification and Synthesis of Human-Robot Interaction (Dagstuhl Seminar 19081). In Dagstuhl Reports, Volume 9, Issue 2, pp. 91-110, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2019)
https://doi.org/10.4230/DagRep.9.2.91

Abstract

This report documents the program and the outcomes of Dagstuhl Seminar 19081 "Verification and Synthesis of Human-Robot Interaction". This seminar brought together researchers from two distinct communities - Formal Methods for Robotics, and Human-Robot Interaction - to discuss the path towards creating safe and verifiable autonomous systems that are compatible with humans.
Keywords
  • Formal Methods
  • Human-Robot Interaction

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail