Porfirio, D., A. Sauppé, A. Albarghouthi, and B. Mutlu. “Computational Tools for Human-Robot Interaction Design”. 2019 14th ACM/IEEE International Conference on Human-Robot Interaction (HRI), IEEE, 2019, pp. 733-5.
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.
DOI:10.1109/HRI.2019.8673221
Bibtex
@INPROCEEDINGS{8673221, author={D. {Porfirio} and A. {Sauppé} and A. {Albarghouthi} and B. {Mutlu}}, booktitle={2019 14th ACM/IEEE International Conference on Human-Robot Interaction (HRI)}, title={Computational Tools for Human-Robot Interaction Design}, year={2019}, volume={}, number={}, pages={733-735}, doi={10.1109/HRI.2019.8673221}}