Login / Signup
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
Published in:
RO-MAN (2021)
Keyphrases
</>
formal verification
model checking
desirable properties
model checker
symbolic model checking
collaborative learning
bounded model checking
automated verification
neural network
e learning
knowledge sharing
temporal logic
functional verification