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]
@inproceedings{DegirmenciKOBKOY23,
title = {Developing an Integrated Runtime Verification for Safety and Security of Industrial Robot Inspection System},
author = {Elif Degirmenci and Yunus Sabri Kirca and Özlem Örnek and Mert Bulut and Serhat Kahraman and Metin Ozkan and Ahmet Yazici},
year = {2023},
doi = {10.1007/978-3-031-43360-3_11},
url = {https://doi.org/10.1007/978-3-031-43360-3_11},
researchr = {https://researchr.org/publication/DegirmenciKOBKOY23},
cites = {0},
citedby = {0},
pages = {126-137},
booktitle = {Towards Autonomous Robotic Systems - 24th Annual Conference, TAROS 2023, Cambridge, UK, September 13-15, 2023, Proceedings},
editor = {Fumiya Iida and Perla Maiolino and Arsen Abdulali and Mingfeng Wang},
volume = {14136},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-031-43360-3},
}