Login / Signup
Yunus Sabri Kirca
ORCID
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 2
Top Topics
Robotic Systems
Multi Robot
Safety Analysis
Integrity Verification
Top Venues
TAROS
SIU
</>
Publications
</>
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.
SIU
(2023)
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.
TAROS
(2023)