Login / Signup
Model-Based, Coverage-Driven Verification and Validation of Code for Robots in Human-Robot Interactions.
Dejanira Araiza-Illan
David G. Western
Anthony G. Pipe
Kerstin Eder
Published in:
CoRR (2015)
Keyphrases
</>
human robot
human robot interaction
dialogue system
robotic systems
data driven
humanoid robot
action selection
source code
human users
robot behavior
model checking
video sequences
general purpose
artificial intelligence
d objects