Login / Signup
An Assurance-based Approach to Verification and Validation of Human-Robot Teams.
Matt Webster
David G. Western
Dejanira Araiza-Illan
Clare Dixon
Kerstin Eder
Michael Fisher
Anthony G. Pipe
Published in:
CoRR (2016)
Keyphrases
</>
robot teams
model checking
multi robot
human subjects
formal verification
human behavior
human interaction
functional verification
database
real time
neural network
information systems
website
action recognition
human experts
asynchronous circuits