Michael Rathmair, Christoph Luckeneder, Thomas Haspl, Bernhard Reiterer, Ralph Hoch, Michael W. Hofbaur, Hermann Kaindl. Formal Verification of Safety Properties of Collaborative Robotic Applications including Variability. In 30th IEEE International Conference on Robot & Human Interactive Communication, RO-MAN 2021, Vancouver, BC, Canada, August 8-12, 2021. pages 1283-1288, IEEE, 2021. [doi]
No references recorded for this publication.
No citations of this publication recorded.