Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Berhnard Reiterer"'
Formal Verification of Safety Properties of Collaborative Robotic Applications including Variability
Autor:
Ralph Hoch, Berhnard Reiterer, Michael Hofbaur, Thomas Haspl, Christoph Luckeneder, Hermann Kaindl, Michael Rathmair
Publikováno v:
RO-MAN
Formal design verification receives increased importance since the complexity of safety-critical technical applications steadily increases. In this paper, we describe an approach for symbolic model checking of collaborative robotic systems against sa