Abstract: Programmable Logic Controllers (PLCs) play an essential role in industrial automation by managing complex safety-critical processes. Ensuring the safety and correctness of PLC programs is ...

Abstract: Autonomous surface manipulator systems (ASMS) are novel, versatile robotics platforms consisting of manipulators and unmanned surface vehicles (USVs) on the water. One of their typical tasks ...