Formal performance guarantees for an approach to human in the loop robot missions.
Damian M. LyonsRonald C. ArkinShu JiangMatthew O'BrienF. TangP. TangPublished in: SMC (2017)
Keyphrases
- human robot interaction
- search and rescue
- human robot
- mobile robot
- formal model
- real time
- autonomous robots
- robot behavior
- vision system
- robot navigation
- human subjects
- human behavior
- human users
- human operators
- lower extremity
- robot programming
- human experts
- robot manipulators
- emotional state
- goal directed
- human interaction
- formal specification