Search Results

Documents authored by Alami, Rachid

Document
DOI: 10.4230/DagRep.9.2.91
Verification and Synthesis of Human-Robot Interaction (Dagstuhl Seminar 19081)

Authors: Rachid Alami, Kerstin I. Eder, Guy Hoffman, and Hadas Kress-Gazit

Published in: Dagstuhl Reports, Volume 9, Issue 2 (2019)

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

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)

Copy BibTex To Clipboard

@Article{alami_et_al:DagRep.9.2.91,
  author =	{Alami, Rachid and Eder, Kerstin I. and Hoffman, Guy and Kress-Gazit, Hadas},
  title =	{{Verification and Synthesis of Human-Robot Interaction (Dagstuhl Seminar 19081)}},
  pages =	{91--110},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2019},
  volume =	{9},
  number =	{2},
  editor =	{Alami, Rachid and Eder, Kerstin I. and Hoffman, Guy and Kress-Gazit, Hadas},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.9.2.91},
  URN =		{urn:nbn:de:0030-drops-108613},
  doi =		{10.4230/DagRep.9.2.91},
  annote =	{Keywords: Formal Methods, Human-Robot Interaction}
}
Document
DOI: 10.4230/DagSemProc.10401.1
10401 Abstracts Collection – Learning, Planning and Sharing Robot Knowledge for Human-Robot Interaction

Authors: Rachid Alami, Rüdiger Dillmann, Thomas C. Henderson, and Alexandra Kirsch

Published in: Dagstuhl Seminar Proceedings, Volume 10401, Learning, Planning and Sharing Robot Knowledge for Human-Robot Interaction (2011)

Abstract
From 03.10.10 to 08.10.10,the Dagstuhl Seminar 10401 ``Learning, Planning and Sharing Robot Knowledge for Human-Robot Interaction '' was held in Schloss Dagstuhl~--~Leibniz Center for Informatics. During the seminar, several participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar as well as abstracts of seminar results and ideas are put together in this paper. The first section describes the seminar topics and goals in general. Links to extended abstracts or full papers are provided, if available.
Cite as

Rachid Alami, Rüdiger Dillmann, Thomas C. Henderson, and Alexandra Kirsch. 10401 Abstracts Collection – Learning, Planning and Sharing Robot Knowledge for Human-Robot Interaction. In Learning, Planning and Sharing Robot Knowledge for Human-Robot Interaction. Dagstuhl Seminar Proceedings, Volume 10401, pp. 1-4, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2011)

Copy BibTex To Clipboard

@InProceedings{alami_et_al:DagSemProc.10401.1,
  author =	{Alami, Rachid and Dillmann, R\"{u}diger and Henderson, Thomas C. and Kirsch, Alexandra},
  title =	{{10401 Abstracts Collection – Learning, Planning and Sharing Robot Knowledge for Human-Robot Interaction}},
  booktitle =	{Learning, Planning and Sharing Robot Knowledge for Human-Robot Interaction},
  pages =	{1--4},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2011},
  volume =	{10401},
  editor =	{Rachid Alami and R\"{u}diger Dillmann and Thomas C. Henderson and Alexandra Kirsch},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10401.1},
  URN =		{urn:nbn:de:0030-drops-29336},
  doi =		{10.4230/DagSemProc.10401.1},
  annote =	{Keywords: Human-robot interaction, Robot knowledge representation and sharing, Learning, Planning}
}
Document
DOI: 10.4230/DagSemProc.10401.2
10401 Summary – Learning, Planning and Sharing Robot Knowledge for Human-Robot Interaction

Authors: Rachid Alami, Rüdiger Dillmann, Thomas C. Henderson, and Alexandra Kirsch

Published in: Dagstuhl Seminar Proceedings, Volume 10401, Learning, Planning and Sharing Robot Knowledge for Human-Robot Interaction (2011)

Abstract
abilities including perception, manipulation and navigation, planning and reasoning as well as knowledge acquisition and processing skills. Only when all these capabilities are combined can the robot show intelligent behavior and act appropriately in environments that are primarily designed for humans. Given the growing availability and inter-connectivity of modern agents and robots, better mechanisms to define, learn and share knowledge must be developed. Advances in robot platforms have led to their integration into society for a variety of functions, and there is a pressing need to understand how they can acquire and exploit knowledge required for their specific activities. In order to be useful, robotic agents must be able to recognize a wide range of objects, relations, and situations in their environment, and to understand the semantics of these. In addition, it is imperative that procedural and process knowledge also be known so that interactions are safe and meaningful. Cooperation and collaboration are also essential as well as the ability to perceive human and animal emotions and intentions to the largest degree possible. This seminar brought together 25 scientists with experience in planning, learning, knowledge processing and human-robot interaction to discuss how the high-level control concepts are to be used and adapted to human-robot interaction. Because high-level control of robots interacting with humans is of special practical importance, we invite experts with experience in assistive technology and those examining social acceptance of such systems.
Cite as

Rachid Alami, Rüdiger Dillmann, Thomas C. Henderson, and Alexandra Kirsch. 10401 Summary – Learning, Planning and Sharing Robot Knowledge for Human-Robot Interaction. In Learning, Planning and Sharing Robot Knowledge for Human-Robot Interaction. Dagstuhl Seminar Proceedings, Volume 10401, pp. 1-3, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2011)

Copy BibTex To Clipboard

@InProceedings{alami_et_al:DagSemProc.10401.2,
  author =	{Alami, Rachid and Dillmann, R\"{u}diger and Henderson, Thomas C. and Kirsch, Alexandra},
  title =	{{10401 Summary – Learning, Planning and Sharing Robot Knowledge for Human-Robot Interaction}},
  booktitle =	{Learning, Planning and Sharing Robot Knowledge for Human-Robot Interaction},
  pages =	{1--3},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2011},
  volume =	{10401},
  editor =	{Rachid Alami and R\"{u}diger Dillmann and Thomas C. Henderson and Alexandra Kirsch},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10401.2},
  URN =		{urn:nbn:de:0030-drops-29342},
  doi =		{10.4230/DagSemProc.10401.2},
  annote =	{Keywords: Human-robot interaction, Robot knowledge representation and sharing, Learning, Planning}
}
Any Issues?
X

Feedback on the Current Page

CAPTCHA

Thanks for your feedback!

Feedback submitted to Dagstuhl Publishing

Could not send message

Please try again later or send an E-mail
© 2023-2025 Schloss Dagstuhl – LZI GmbH About DROPS Imprint Privacy Contact