Skip to main content

Research Repository

Advanced Search

All Outputs (2)

Systematic and realistic testing in simulation of control code for robots in collaborative human-robot interactions (2016)
Journal Article
Araiza-Illan, D., Western, D., Pipe, A. G., & Eder, K. (2016). Systematic and realistic testing in simulation of control code for robots in collaborative human-robot interactions. Lecture Notes in Artificial Intelligence, 9716, 20-32. https://doi.org/10.1007/978-3-319-40379-3_3

© Springer International Publishing Switzerland 2016. 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 systems will requi... Read More about Systematic and realistic testing in simulation of control code for robots in collaborative human-robot interactions.

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.