Online Motion Analyzer (OMA): A Software Service for Runtime Verification of Robotic Systems' Safety

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},
}