Coverage-driven verification — An approach to verify code for robots that directly interact with humans
(2015)
Presentation / Conference Contribution
© Springer International Publishing Switzerland 2015. Collaborative robots could transform several industries, such as manufacturing and healthcare, but they present a significant challenge to verification. The complex nature of their working environ... Read More about Coverage-driven verification — An approach to verify code for robots that directly interact with humans.