Elif Degirmenci, Yunus Sabri Kirca, Özlem Örnek, Mert Bulut, Serhat Kahraman, Metin Ozkan, Ahmet Yazici. Developing an Integrated Runtime Verification for Safety and Security of Industrial Robot Inspection System. In Fumiya Iida, Perla Maiolino, Arsen Abdulali, Mingfeng Wang, editors, Towards Autonomous Robotic Systems - 24th Annual Conference, TAROS 2023, Cambridge, UK, September 13-15, 2023, Proceedings. Volume 14136 of Lecture Notes in Computer Science, pages 126-137, Springer, 2023. [doi]
Abstract is missing.