| 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 |