David Porfirio

人机交互的创作与验证

Porfirio 等人提出使用自动形式化验证方法进行社交机器人交互设计创作与验证的工具，帮助开发者识别和预防交互中的社交规范违规和问题。