Coverage-Driven Verification - An approach to verify code for robots that directly interact with humans.
Dejanira Araiza-IllanDavid G. WesternAnthony G. PipeKerstin EderPublished 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