Alle Publikationen
Treffer: 1
- <<
- <
- 1
2019
-
(2019) : Computational Tools for Human-Robot Interaction Design: 2019 14th ACM/IEEE International Conference on Human-Robot Interaction (HRI): Daegu, Korea: IEEE, S. 733-735
DOI: https://doi.org/10.1109/HRI.2019.8673221 Abstract: Robots must exercise socially appropriate behavior when interacting with humans. How can we assist interaction designers to embed socially appropriate and avoid socially inappropriate behavior within human-robot interactions? We propose a multi-faceted interaction-design approach that intersects human-robot interaction and formal methods to help us achieve this goal. At the lowest level, designers create interactions from scratch and receive feedback from formal verification, while higher levels involve automated synthesis and repair of designs. In this extended abstract, we discuss past, present, and future work within each level of our design approach.
Keywords: Angemessen(heit) (von Technik), automated synthesis, computational tools, Design methodology, Electric breakdown, Formal Methods, formal verification, human-robot interaction, human-robot interaction design, ieee xplore, Interaction Design, interaction designers, Maintenance engineering, multifaceted interaction-design approach, Programming, Robots, socially appropriate behavior, Task Analysis
- <<
- <
- 1