Coverage-Driven Verification - An Approach to Verify Code for Robots that Directly Interact with Humans.
Dejanira Araiza-IllanDavid G. WesternAnthony G. PipeKerstin EderPublished in: Haifa Verification Conference (2015)
Keyphrases
- human agent interaction
- verification method
- artificial agents
- service robots
- mobile robot
- model checking
- source code
- data driven
- human users
- artificial systems
- cooperative
- temporal logic
- human behavior
- intelligent machines
- robotic agents
- multi robot
- industrial robots
- ai researchers
- formal verification
- robot soccer
- data sets
- intelligent systems
- physical objects
- manipulation tasks
- human operators
- face verification
- symbolic execution
- human robot interaction
- human teacher
- byte code
- human friendly
- case study
- artificial intelligence