Formal Verification of Safety Properties of Collaborative Robotic Applications including Variability
Rathmair, Michael, Luckeneder, Christoph, Haspl, Thomas, Reiterer, Berhnard, Hoch, Ralph, Hofbaur, Michael, Kaindl, Hermann
Published in 2021 30th IEEE International Conference on Robot & Human Interactive Communication (RO-MAN) (08.08.2021)
Published in 2021 30th IEEE International Conference on Robot & Human Interactive Communication (RO-MAN) (08.08.2021)
Get full text
Conference Proceeding
A Formal Verification Approach for Robotic Workflows
Rathmair, Michael, Haspl, Thomas, Komenda, Titanilla, Reiterer, Bernhard, Hofbaur, Michael
Published in 2021 20th International Conference on Advanced Robotics (ICAR) (06.12.2021)
Published in 2021 20th International Conference on Advanced Robotics (ICAR) (06.12.2021)
Get full text
Conference Proceeding