output
20182026
most citedDiscovery of strongly variable X-ray polarization in the neutron star low-mass X-ray binary transient XTE J1701462

50 citations

researchers with a paper here

Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.

collaborating institutions
Showing cs.ROShow all

1 paper · 1 filter

cs.RO2024★ 1 cited

Model Checking and Verification of Synchronisation Properties of Cobot Welding

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…