Keyphrases
Robotic Assistant
100%
Formal Verification
64%
Ethical Issues
50%
Human-robot Trust
50%
Persuasiveness
43%
Trustworthiness
43%
Perceived Trust
37%
Personal Robotics
31%
Trust in HRI
25%
Willingness to Cooperate
25%
Safety in HRI
25%
Temporal Verification
25%
Social Robots
25%
Faulty Robots
25%
Human-robot Cooperation
25%
Over-reliance
25%
Perceived Safety
25%
Human Perception
25%
Safety Perception
25%
Autonomous Robots
25%
Fridge
25%
Task Type
25%
Robot Behavior
25%
Error Effect
25%
Simulation Test
20%
Input Language
18%
Brahms
18%
Planners
18%
Scheduler
18%
Model Checker
18%
Close Proximity
18%
Environment Modeling
18%
Collaborative Context
12%
User Log
12%
Human Users
12%
User Validation
12%
User Trust
12%
Everyday Tasks
12%
Home Setting
12%
Pact
12%
Position Statement
12%
Robot Safety
12%
Point-based
12%
Robot Affect
12%
Human Trust
12%
Human-robot Collaboration
12%
Healthcare Settings
12%
Ethical Risk
12%
Subjective Perception
12%
Home Environment
12%
Companion Robot
12%
Sample Properties
12%
Healthcare Environment
12%
Human Interaction
12%
People's Needs
12%
Robotic System
12%
Models of Care
12%
Socially Assistive Robots
12%
Healthcare
12%
Robot Performance
12%
User Evaluation
8%
Workflow Languages
6%
Real-world Experiment
6%
Log-Based
6%
Interruptibility
6%
Verification Result
6%
Apply Model
6%
Activity-dependent
6%
Medical Care
6%
Industrial Setting
6%
Range of Motion
6%
Algorithmic Approach
6%
Multi-agent
6%
Domestic Environment
6%
Model Improvement
6%
System Requirements
6%
User Activity
6%
Making Decisions
6%
Temporal Properties
6%
Property-based
6%
Computer Science
Robot
93%
Formal Verification
81%
Ethical Challenge
50%
Practical Issue
50%
Temporal Verification
25%
Social Robot
25%
Case Study
25%
Environment Model
18%
Language Input
18%
Close Proximity
18%
model checker
18%
Activity Log
12%
Human Perception
12%
Industrial Setting
6%
Model Refinement
6%
multi-agent
6%
Robot Safety
6%
Model Checking
6%
temporal property
6%
System Requirement
6%