Authoring and verifying human-robot interactions

Porfirio, D., A. Sauppé, A. Albarghouthi, and B. Mutlu. “Authoring and Verifying Human-Robot Interactions”. Proceedings of the 31st Annual ACM Symposium on User Interface Software and Technology, 2018, pp. 75-86.


As social agents, robots designed for human interaction must adhere to human social norms. How can we enable designers, engineers, and roboticists to design robot behaviors that adhere to human social norms and do not result in interaction breakdowns? In this paper, we use automated formal-verification methods to facilitate the encoding of appropriate social norms into the interaction design of social robots and the detection of breakdowns and norm violations in order to prevent them. We have developed an authoring environment that utilizes these methods to provide developers of social-robot applications with feedback at design time and evaluated the benefits of their use in reducing such breakdowns and violations in human-robot interactions. Our evaluation with application developers (N=9) shows that the use of formal-verification methods increases designers’ ability to identify and contextualize social-norm violations. We discuss the implications of our approach for the future development of tools for effective design of social-robot applications.

DOI: 10.1145/3379337.3415872 


	doi = {10.1145/3242587.3242634},
	url = {},
	year = 2018,
	publisher = {{ACM} Press},
	author = {David Porfirio and Allison Saupp{\'{e}} and Aws Albarghouthi and Bilge Mutlu},
	title = {Authoring and Verifying Human-Robot Interactions},
	booktitle = {The 31st Annual {ACM} Symposium on User Interface Software and Technology - {UIST} {\textquotesingle}18}