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]
Abstract is missing.