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

Alami, Rachid; Eder, Kerstin I.; Hoffman, Guy; Kress-Gazit, Hadas

doi:10.4230/DagRep.9.2.91

Document

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

Part of: Issue: Dagstuhl Reports, Volume 9, Issue 2
Part of: Volume: Dagstuhl Reports, Volume 9
Part of: Journal: Dagstuhl Reports (DagRep)
License: Creative Commons Attribution 3.0 Unported license
Publication Date: 2019-07-16

PDF

File

PDF

DagRep.9.2.91.pdf

Filesize: 8.85 MB
20 pages

Document Identifiers

DOI: 10.4230/DagRep.9.2.91
URN: urn:nbn:de:0030-drops-108613

Subject Classification

Keywords

Formal Methods
Human-Robot Interaction

Metrics

Access Statistics
Total Accesses (updated on a weekly basis)

0

PDF Downloads

0

Metadata Views

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.

Cite As Get 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

Author Details

Rachid Alami

Kerstin I. Eder

Guy Hoffman

Hadas Kress-Gazit

and all authors of the abstracts in this report

Questions / Remarks / Feedback

Feedback for Dagstuhl Publishing

Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail