论文标题
正式和保证*人类机器人互动
Formalizing and Guaranteeing* Human-Robot Interaction
论文作者
论文摘要
从自动驾驶汽车到双头和无人机，机器人功能都在跨域名成熟。结果，机器人很快将不再仅限于安全控制的工业环境。相反，他们将直接与公众互动。人类机器人相互作用的不断增长的领域（HRI）研究了这种情况的各个方面 - 从社会规范到联合行动再到人类机器人团队等等。 HRI的研究人员在开发与人类及其周围的机器人的模型，方法和算法方面取得了长足的进步，但是这些“计算HRI”模型和算法通常并没有对其操作的正式保证和约束。为了使人类交互式机器人从实验室移动到现实世界的部署，我们必须解决这一差距。 本文概述了用于创建可信赖系统的验证，验证和综合技术，描述了几个可以从此类技术中受益的HRI领域，并为创建正式化和保证人类机器人互动所需的挑战和研究提供了路线图。
Robot capabilities are maturing across domains, from self-driving cars, to bipeds and drones. As a result, robots will soon no longer be confined to safety-controlled industrial settings; instead, they will directly interact with the general public. The growing field of Human-Robot Interaction (HRI) studies various aspects of this scenario - from social norms to joint action to human-robot teams and more. Researchers in HRI have made great strides in developing models, methods, and algorithms for robots acting with and around humans, but these "computational HRI" models and algorithms generally do not come with formal guarantees and constraints on their operation. To enable human-interactive robots to move from the lab to real-world deployments, we must address this gap. This article provides an overview of verification, validation and synthesis techniques used to create demonstrably trustworthy systems, describes several HRI domains that could benefit from such techniques, and provides a roadmap for the challenges and the research needed to create formalized and guaranteed human-robot interaction.
