DagRep.9.2.91.pdf
- Filesize: 8.85 MB
- 20 pages
Document
Verification and Synthesis of Human-Robot Interaction (Dagstuhl Seminar 19081)
Authors and all authors of the abstracts in this report
-
Part of:
Issue:
Dagstuhl Reports, Volume 9, Issue 2
Volume: Dagstuhl Reports, Volume 9
Journal: Dagstuhl Reports (DagRep) - License:
Creative Commons Attribution 3.0 Unported license
- Publication Date: 2019-07-16
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
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)
0PDF Downloads