Coverage-driven verification — An approach to verify code for robots that directly interact with humans
(2015)
Journal Article
Pipe, A., Araiza-Illan, D., Western, D., Pipe, A. G., & Eder, K. (2015). Coverage-driven verification — An approach to verify code for robots that directly interact with humans. Lecture Notes in Artificial Intelligence, 9434, 69-84. https://doi.org/10.1007/978-3-319-26287-1_5
© 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.