Title | Verification and Synthesis of Human-Robot Interaction (Dagstuhl Seminar 19081) |
Publication Type | Journal Article |
Year of Publication | 2019 |
Authors | Alami, R, Eder, KI, Hoffman, G, Kress-Gazit, H |
Journal | Dagstuhl Reports |
Volume | 9 |
Pagination | 91–110 |
URL | https://doi.org/10.4230/DagRep.9.2.91 |
DOI | 10.4230/DagRep.9.2.91 |
Citation Key | DBLP:journals/dagstuhl-reports/AlamiEHK19 |