Authoring and Verifying Human-Robot Interactions
Association for Computing Machinery (ACM) via YouTube
Learn Backend Development Part-Time, Online
AI Engineer - Learn how to integrate AI into software applications
Overview
Coursera Flash Sale
40% Off Coursera Plus for 3 Months!
Grab it
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