2026-07-23T05:28:31Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:10861 2024-03-06T10:27:04Z ddc:004 open_access

Verification and Synthesis of Human-Robot Interaction (Dagstuhl Seminar 19081) Alami, Rachid Eder, Kerstin I. Hoffman, Guy Kress-Gazit, Hadas Formal Methods Human-Robot Interaction 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. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Rachid Alami and Kerstin I. Eder and Guy Hoffman and Hadas Kress-Gazit 2019 Is Part Of Dagstuhl Reports, Volume 9, Issue 2 (2019) Article Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/DagRep.9.2.91 urn:nbn:de:0030-drops-108613 https://drops.dagstuhl.de/entities/document/10.4230/DagRep.9.2.91 eng https://creativecommons.org/licenses/by/3.0/legalcode