notesum.ai

Published at November 21

Model Checking and Verification of Synchronisation Properties of Cobot Welding

cs.RO
cs.MA
cs.SE

Released Date: November 21, 2024

Authors: Yvonne Murray1, Henrik Nordlie2, David A. Anisi3, Pedro Ribeiro4, Ana Cavalcanti4

Aff.: 1Pioneer Robotics AS, Dept. of Mechatronics, University of Agder, Norway; 2Robotics Group, Faculty of Science & Technology, Norwegian University of Life Sciences (NMBU), Norway; 3Dept. of Mechatronics, University of Agder, Robotics Group, Faculty of Science & Technology, Norwegian University of Life Sciences (NMBU), Norway; 4Dept. of Computer Science, University of York, UK

Arxiv: http://arxiv.org/abs/2411.14369v1