TY  - RPRT
TI  - Model Checking and Verification of Synchronisation Properties of Cobot Welding
AU  - Yvonne Murray
AU  - Henrik Nordlie
AU  - David A. Anisi
AU  - Pedro Ribeiro
AU  - Ana Cavalcanti
PY  - 2024
DO  - 10.4204/eptcs.411.6
UR  - https://arxiv.org/abs/2411.14369
ID  - 2411.14369
ER  -