An Online Distance Tracker for Verification of Robotic Systems' Safety von Guclu, Esra, Örnek, Özlem, Ozkan, Metin, Yazici, Ahmet, Demirci, Zekeriyya

Volltext

Safety Verification of Multiple Industrial Robot Manipulators with Path Conflicts Using Model Checking von Ozkan, Metin, Demirci, Zekeriyya, Aslan, Özge, Yazıcı, Ahmet

Volltext

Runtime Verification for Anomaly Detection of Robotic Systems Security von Kirca, Yunus Sabri, Degirmenci, Elif, Demirci, Zekeriyya, Yazici, Ahmet, Ozkan, Metin, Ergun, Salih, Kanak, Alper

Volltext