134 citations · 276 across the 10 of their papers we have counts for
Showing 2015Show all
2 papers · 1 filter
cs.RO2015★ 25 cited
Systematic and Realistic Testing in Simulation of Control Code for Robots in Collaborative Human-Robot Interactions
Dejanira Araiza-Illan, David Western, Anthony G. Pipe +1
Industries such as flexible manufacturing and home care will be transformed by the presence of robotic assistants. Assurance of safety and functional soundness for these robotic sy…
cs.RO2015★ 13 cited
Coverage-Driven Verification - An approach to verify code for robots that directly interact with humans
Dejanira Araiza-Illan, David Western, Anthony Pipe +1
Collaborative robots could transform several industries, such as manufacturing and healthcare, but they present a significant challenge to verification. The complex nature of their…