机构名称：
¥ 2.0
机器人技术的发展趋势是，从与人物理分离工作的工业机器人，转向在工作场所和家中与人协作和互动的机器人。人机交互 (HRI) 领域从计算、设计和社会的角度研究这种交互。与此同时，人们对机器人和自主系统行为的安全性、验证和自动合成的研究兴趣日益浓厚。形式化方法和测试领域专注于系统的验证和合成，旨在对系统进行建模并定义和证明这些系统的规范；在机器人技术的背景下，这些技术考虑了机器人动力学及其与不断变化和不确定的环境的相互作用。然而，与机器人合作的人不仅是机器人环境的一部分，而且是一个自主代理，其意图、信念和行为与机器人代理的意图、信念和行为相吻合。这引发了与验证和合成相关的新研究问题，包括什么是人机交互的适当模型；是否以及如何
人机交互的验证与综合 - DROPS
主要关键词
相关文件推荐
