[ODAY23]
Metin Ozkan, Zekeriyya Demirci, Özge Aslan and Ahmet Yazici.
Safety Verification of Multiple Industrial Robot Manipulators with Path Conflicts Using Model Checking.
Machines.
2023.
[Verifies interactions between multiple industrial robot manipulators using several tools including PRISM.]
|
