Formal Verification of Safety Properties of Collaborative Robotic Applications including Variability.

Michael Rathmair, Christoph Luckeneder, Thomas Haspl, Bernhard Reiterer, Ralph Hoch, Michael W. Hofbaur, Hermann Kaindl

Browse the full RO-MAN paper archive.