Authoring and Verifying Human-Robot Interactions

Explore a 20-minute conference talk from the ACM User Interface Software and Technology Symposium that delves into the development of an authoring environment for designing socially appropriate robot behaviors. Learn how automated formal-verification methods can be used to encode social norms into robot interaction design and detect potential breakdowns. Discover the benefits of this approach in reducing social-norm violations in human-robot interactions, as demonstrated through an evaluation with application developers. Gain insights into the future of tool development for effective social-robot application design.