Authoring and Verifying Human-Robot Interactions
Offered By: Association for Computing Machinery (ACM) via YouTube
Course Description
Overview
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.
Syllabus
Authoring and Verifying Human-Robot Interactions
Taught by
ACM SIGCHI
Related Courses
Provably Beneficial Artificial IntelligenceAssociation for Computing Machinery (ACM) via YouTube Building Dusty Robotics
Association for Computing Machinery (ACM) via YouTube More Human HCI
Association for Computing Machinery (ACM) via YouTube Ultrasound-Driven Curveball in Table Tennis - Human Activity Support via Noncontact Remote Object Manipulation
Association for Computing Machinery (ACM) via YouTube Human-Centered AI for Sustainability - Case Social Robots
Association for Computing Machinery (ACM) via YouTube