Serhat Kahraman, Mert Bulut, Elif Degirmenci, Yunus Sabri Kirca, Metin Ozkan, Ahmet Yazici. Online Motion Analyzer (OMA): A Software Service for Runtime Verification of Robotic Systems' Safety. In 31st Signal Processing and Communications Applications Conference, SIU 2023, Istanbul, Turkey, July 5-8, 2023. pages 1-4, IEEE, 2023. [doi]
Abstract is missing.