1 citations · 1 across the 1 of their papers we have counts for
1 paper
Yvonne Murray, Henrik Nordlie, David A. Anisi +2
This paper describes use of model checking to verify synchronisation properties of an industrial welding system consisting of a cobot arm and an external turntable. The robots must…