2 papers
cs.RO2025
A Verification Methodology for Safety Assurance of Robotic Autonomous Systems
Mustafa Adam, David A. Anisi, Pedro Ribeiro
Autonomous robots deployed in shared human environments, such as agricultural settings, require rigorous safety assurance to meet both functional reliability and regulatory complia…
cs.RO2024
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…