Login / Signup
Coverage-Driven Verification - An approach to verify code for robots that directly interact with humans.
Dejanira Araiza-Illan
David G. Western
Anthony G. Pipe
Kerstin Eder
Published in:
CoRR (2015)
Keyphrases
</>
human agent interaction
verification method
artificial agents
service robots
cooperative
human friendly
source code
data driven
multi robot
mobile robot
artificial systems
human users
model checking
autonomous robots
human robot interaction
human operators
formal verification
human subjects
static analysis
robot soccer
code generation
human experts
intelligent agents
symbolic execution
open source
industrial robots
object oriented