Browsing Brage NMBU by Author "Nordlie, Henrik"
Now showing items 1-1 of 1
-
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 ...