New paper

"Model Checking and Verification of Synchronisation Properties of Cobot Welding"
by Yvonne Murray, Henrik Nordlie, David A. Anisi, Pedro Ribeiro, and Ana Cavalcanti

https://buff.ly/4fGfDXU 

#FMAS2024