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]
@inproceedings{KahramanBDKOY23, title = {Online Motion Analyzer (OMA): A Software Service for Runtime Verification of Robotic Systems' Safety}, author = {Serhat Kahraman and Mert Bulut and Elif Degirmenci and Yunus Sabri Kirca and Metin Ozkan and Ahmet Yazici}, year = {2023}, doi = {10.1109/SIU59756.2023.10223793}, url = {https://doi.org/10.1109/SIU59756.2023.10223793}, researchr = {https://researchr.org/publication/KahramanBDKOY23}, cites = {0}, citedby = {0}, pages = {1-4}, booktitle = {31st Signal Processing and Communications Applications Conference, SIU 2023, Istanbul, Turkey, July 5-8, 2023}, publisher = {IEEE}, isbn = {979-8-3503-4355-7}, }