Formalizing and guaranteeing human-robot interaction
Formalizing and guaranteeing human-robot interaction
复制标题
形式化并保证人机交互
DOI：
10.1145/3433637
复制
发表时间：
2021
影响因子：
22.7
通讯作者：
Kress-Gazit H
中科院分区：
文献类型：
--
作者：
Kress-Gazit H
随着机器人开始与人类密切交互，我们需要构建在交互的安全性和质量方面值得信赖的系统。
As robots begin to interact closely with humans, we need to build systems worthy of trust regarding the safety and quality of the interaction.
登录
查看更多内容
DOI：
10.1145/3242587.3242634
发表时间：
2018
期刊：
Proceedings of the 31st Annual ACM Symposium on User Interface Software and Technology
影响因子：
--
作者：
Porfirio, David;Sauppé, Allison;Albarghouthi, Aws;Mutlu, Bilge
通讯作者：
Mutlu, Bilge
人机交互的验证与综合（Dagstuhl 研讨会 19081）
DOI：
--
发表时间：
2019
期刊：
Dagstuhl Reports
影响因子：
--
作者：
R. Alami;K. Eder;Guy Hoffman;H. Kress
通讯作者：
H. Kress
覆盖驱动验证 - 一种验证直接与人类交互的机器人代码的方法
DOI：
10.48550/arxiv.1509.04852
发表时间：
2015
期刊：
--
影响因子：
--
作者：
Araiza-Illan D
通讯作者：
Araiza-Illan D
人机协作交互中机器人控制代码仿真的系统性和真实性测试
DOI：
10.48550/arxiv.1511.01354
发表时间：
2015
期刊：
--
影响因子：
--
作者：
Araiza-Illan D
通讯作者：
Araiza-Illan D
复杂环境中的心理模型和行动控制
DOI：
--
发表时间：
1987
期刊：
Informatics and Psychology Workshop
影响因子：
--
作者：
J. Rasmussen
通讯作者：
J. Rasmussen