Blar i Brage NMBU på forfatter "Nordlie, Henrik"
-
Formal verification of synchronization properties of a multi-robot welding system
Nordlie, Henrik (Master thesis, 2024)Welding tasks are among the most prevalent use cases of robots. In this thesis, the synchronization properties of a welding system, the IntelliWelder M06, are formally verified. The welding system consists of a robotic arm ...